Home
last modified time | relevance | path

Searched refs:eqr (Results 1 – 25 of 260) sorted by relevance

1234567891011

/dports/math/z3/z3-z3-4.8.13/src/ast/rewriter/
H A Dseq_eq_solver.h31 struct eqr { struct
57 bool reduce_unit(eqr const& e, eq_ptr& r);
60 bool reduce_itos1(eqr const& e, eq_ptr& r);
62 bool match_itos2(eqr const& e, expr*& s);
63 bool reduce_itos2(eqr const& e, eq_ptr& r);
65 bool reduce_itos3(eqr const& e, eq_ptr& r);
69 bool reduce_ubv2s1(eqr const& e, eq_ptr& r);
72 bool reduce_ubv2s2(eqr const& e, eq_ptr& r);
75 bool reduce_binary_eq(eqr const& e, eq_ptr& r);
88 bool branch_unit_variable(eqr const& e);
[all …]
H A Dseq_eq_solver.cpp28 eqr e(ls, rs); in reduce()
32 bool eq_solver::reduce(eqr const& e, eq_ptr& r) { in reduce()
55 bool eq_solver::branch(unsigned priority, eqr const& e) { in branch()
96 bool eq_solver::reduce_itos1(eqr const& e, eq_ptr& r) { in reduce_itos1()
112 bool eq_solver::match_itos2(eqr const& e, expr*& s) { in match_itos2()
120 bool eq_solver::reduce_itos2(eqr const& e, eq_ptr& r) { in reduce_itos2()
152 bool eq_solver::reduce_itos3(eqr const& e, eq_ptr& r) { in reduce_itos3()
201 bool eq_solver::reduce_unit(eqr const& e, eq_ptr& r) { in reduce_unit()
232 bool eq_solver::reduce_ubv2s1(eqr const& e, eq_ptr& r) { in reduce_ubv2s1()
261 bool eq_solver::reduce_ubv2s2(eqr const& e, eq_ptr& r) { in reduce_ubv2s2()
[all …]
/dports/science/dynare/dynare-4.6.4/preprocessor/src/
H A DStaticModel.cc539 << ", equation=" << eqr+1 << endl; in writeModelEquationsOrdered_M()
900 if (!Uf[eqr].Ufl) in writeModelEquationsCode_Block()
903 Uf[eqr].Ufl_First = Uf[eqr].Ufl; in writeModelEquationsCode_Block()
908 Uf[eqr].Ufl = Uf[eqr].Ufl->pNext; in writeModelEquationsCode_Block()
910 Uf[eqr].Ufl->pNext = nullptr; in writeModelEquationsCode_Block()
911 Uf[eqr].Ufl->u = count_u; in writeModelEquationsCode_Block()
912 Uf[eqr].Ufl->var = varr; in writeModelEquationsCode_Block()
1159 unsigned int eqr = getBlockEquationID(num, j); in Write_Inf_To_Bin_File_Block() local
1160 SaveCode.write(reinterpret_cast<char *>(&eqr), sizeof(eqr)); in Write_Inf_To_Bin_File_Block()
2226 int eqr = getBlockEquationID(block, eq); in get_Derivatives() local
[all …]
/dports/security/vuls/vuls-0.13.7/vendor/github.com/Azure/azure-sdk-for-go/storage/
H A Dtable.go240 func (eqr *EntityQueryResult) NextResults(options *TableOptions) (*EntityQueryResult, error) {
241 if eqr == nil {
244 if eqr.NextLink == nil {
248 return eqr.table.queryEntities(*eqr.NextLink, headers, eqr.ml)
/dports/www/grafana8/azure-sdk-for-go-sdk-internal-v0.7.0/storage/
H A Dtable.go229 func (eqr *EntityQueryResult) NextResults(options *TableOptions) (*EntityQueryResult, error) {
230 if eqr == nil {
233 if eqr.NextLink == nil {
237 return eqr.table.queryEntities(*eqr.NextLink, headers, eqr.ml)
/dports/databases/timescaledb-backup/timescaledb-backup-0.1.1/vendor/github.com/docker/distribution/vendor/github.com/Azure/azure-sdk-for-go/storage/
H A Dtable.go240 func (eqr *EntityQueryResult) NextResults(options *TableOptions) (*EntityQueryResult, error) {
241 if eqr == nil {
244 if eqr.NextLink == nil {
248 return eqr.table.queryEntities(*eqr.NextLink, headers, eqr.ml)
/dports/www/grafana8/grafana-8.3.6/vendor/github.com/Azure/azure-sdk-for-go/storage/
H A Dtable.go229 func (eqr *EntityQueryResult) NextResults(options *TableOptions) (*EntityQueryResult, error) {
230 if eqr == nil {
233 if eqr.NextLink == nil {
237 return eqr.table.queryEntities(*eqr.NextLink, headers, eqr.ml)
/dports/devel/gitlab-runner/gitlab-runner-8925d9a06fd8e452e2161a768462652a2a13111f/vendor/github.com/docker/distribution/distribution-2.7.0/vendor/github.com/Azure/azure-sdk-for-go/storage/
H A Dtable.go240 func (eqr *EntityQueryResult) NextResults(options *TableOptions) (*EntityQueryResult, error) {
241 if eqr == nil {
244 if eqr.NextLink == nil {
248 return eqr.table.queryEntities(*eqr.NextLink, headers, eqr.ml)
/dports/www/grafana8/azure-sdk-for-go-sdk-azcore-v0.19.0/storage/
H A Dtable.go229 func (eqr *EntityQueryResult) NextResults(options *TableOptions) (*EntityQueryResult, error) {
230 if eqr == nil {
233 if eqr.NextLink == nil {
237 return eqr.table.queryEntities(*eqr.NextLink, headers, eqr.ml)
/dports/sysutils/helmfile/vault-f6547fa8e820/vendor/github.com/Azure/azure-sdk-for-go/storage/
H A Dtable.go240 func (eqr *EntityQueryResult) NextResults(options *TableOptions) (*EntityQueryResult, error) {
241 if eqr == nil {
244 if eqr.NextLink == nil {
248 return eqr.table.queryEntities(*eqr.NextLink, headers, eqr.ml)
/dports/sysutils/istio/istio-1.6.7/vendor/github.com/docker/distribution/vendor/github.com/Azure/azure-sdk-for-go/storage/
H A Dtable.go240 func (eqr *EntityQueryResult) NextResults(options *TableOptions) (*EntityQueryResult, error) {
241 if eqr == nil {
244 if eqr.NextLink == nil {
248 return eqr.table.queryEntities(*eqr.NextLink, headers, eqr.ml)
/dports/net-mgmt/promscale/promscale-0.6.2/vendor/github.com/docker/distribution/vendor/github.com/Azure/azure-sdk-for-go/storage/
H A Dtable.go240 func (eqr *EntityQueryResult) NextResults(options *TableOptions) (*EntityQueryResult, error) {
241 if eqr == nil {
244 if eqr.NextLink == nil {
248 return eqr.table.queryEntities(*eqr.NextLink, headers, eqr.ml)
/dports/misc/concourse/vault-bdd38fca2cff/vendor/github.com/Azure/azure-sdk-for-go/storage/
H A Dtable.go240 func (eqr *EntityQueryResult) NextResults(options *TableOptions) (*EntityQueryResult, error) {
241 if eqr == nil {
244 if eqr.NextLink == nil {
248 return eqr.table.queryEntities(*eqr.NextLink, headers, eqr.ml)
/dports/sysutils/gomplate/gomplate-3.9.0/vendor/github.com/hashicorp/vault/vendor/github.com/Azure/azure-sdk-for-go/storage/
H A Dtable.go240 func (eqr *EntityQueryResult) NextResults(options *TableOptions) (*EntityQueryResult, error) {
241 if eqr == nil {
244 if eqr.NextLink == nil {
248 return eqr.table.queryEntities(*eqr.NextLink, headers, eqr.ml)
/dports/security/lego/lego-4.5.3/vendor/github.com/Azure/azure-sdk-for-go/storage/
H A Dtable.go240 func (eqr *EntityQueryResult) NextResults(options *TableOptions) (*EntityQueryResult, error) {
241 if eqr == nil {
244 if eqr.NextLink == nil {
248 return eqr.table.queryEntities(*eqr.NextLink, headers, eqr.ml)
/dports/net-mgmt/thanos/thanos-0.11.0/vendor/github.com/Azure/azure-sdk-for-go/storage/
H A Dtable.go240 func (eqr *EntityQueryResult) NextResults(options *TableOptions) (*EntityQueryResult, error) {
241 if eqr == nil {
244 if eqr.NextLink == nil {
248 return eqr.table.queryEntities(*eqr.NextLink, headers, eqr.ml)
/dports/net-mgmt/prometheus2/prometheus-2.30.3/vendor/github.com/docker/distribution/vendor/github.com/Azure/azure-sdk-for-go/storage/
H A Dtable.go240 func (eqr *EntityQueryResult) NextResults(options *TableOptions) (*EntityQueryResult, error) {
241 if eqr == nil {
244 if eqr.NextLink == nil {
248 return eqr.table.queryEntities(*eqr.NextLink, headers, eqr.ml)
/dports/sysutils/helm/helm-3.5.2/vendor/github.com/docker/distribution/vendor/github.com/Azure/azure-sdk-for-go/storage/
H A Dtable.go240 func (eqr *EntityQueryResult) NextResults(options *TableOptions) (*EntityQueryResult, error) {
241 if eqr == nil {
244 if eqr.NextLink == nil {
248 return eqr.table.queryEntities(*eqr.NextLink, headers, eqr.ml)
/dports/sysutils/helmfile/helmfile-0.138.7/vendor/github.com/hashicorp/vault/vendor/github.com/Azure/azure-sdk-for-go/storage/
H A Dtable.go240 func (eqr *EntityQueryResult) NextResults(options *TableOptions) (*EntityQueryResult, error) {
241 if eqr == nil {
244 if eqr.NextLink == nil {
248 return eqr.table.queryEntities(*eqr.NextLink, headers, eqr.ml)
/dports/sysutils/helmfile/helmfile-0.138.7/vendor/github.com/Azure/azure-sdk-for-go/storage/
H A Dtable.go240 func (eqr *EntityQueryResult) NextResults(options *TableOptions) (*EntityQueryResult, error) {
241 if eqr == nil {
244 if eqr.NextLink == nil {
248 return eqr.table.queryEntities(*eqr.NextLink, headers, eqr.ml)
/dports/security/vault/vault-1.8.2/vendor/github.com/docker/distribution/vendor/github.com/Azure/azure-sdk-for-go/storage/
H A Dtable.go240 func (eqr *EntityQueryResult) NextResults(options *TableOptions) (*EntityQueryResult, error) {
241 if eqr == nil {
244 if eqr.NextLink == nil {
248 return eqr.table.queryEntities(*eqr.NextLink, headers, eqr.ml)
/dports/net-im/dendrite/dendrite-0.5.1/vendor/github.com/docker/distribution/vendor/github.com/Azure/azure-sdk-for-go/storage/
H A Dtable.go240 func (eqr *EntityQueryResult) NextResults(options *TableOptions) (*EntityQueryResult, error) {
241 if eqr == nil {
244 if eqr.NextLink == nil {
248 return eqr.table.queryEntities(*eqr.NextLink, headers, eqr.ml)
/dports/misc/concourse/concourse-6.7.2/vendor/github.com/docker/distribution/vendor/github.com/Azure/azure-sdk-for-go/storage/
H A Dtable.go240 func (eqr *EntityQueryResult) NextResults(options *TableOptions) (*EntityQueryResult, error) {
241 if eqr == nil {
244 if eqr.NextLink == nil {
248 return eqr.table.queryEntities(*eqr.NextLink, headers, eqr.ml)
/dports/misc/concourse/concourse-6.7.2/vendor/github.com/hashicorp/vault/vendor/github.com/Azure/azure-sdk-for-go/storage/
H A Dtable.go240 func (eqr *EntityQueryResult) NextResults(options *TableOptions) (*EntityQueryResult, error) {
241 if eqr == nil {
244 if eqr.NextLink == nil {
248 return eqr.table.queryEntities(*eqr.NextLink, headers, eqr.ml)
/dports/sysutils/restic/restic-0.12.1/vendor/github.com/Azure/azure-sdk-for-go/storage/
H A Dtable.go229 func (eqr *EntityQueryResult) NextResults(options *TableOptions) (*EntityQueryResult, error) {
230 if eqr == nil {
233 if eqr.NextLink == nil {
237 return eqr.table.queryEntities(*eqr.NextLink, headers, eqr.ml)

1234567891011