/dports/net-mgmt/irrtoolset/irrtoolset-release-5.1.3/src/normalform/ |
H A D | SetOfSymbol.cc | 60 for (Pix i = a.conjuncts.first(); i; a.conjuncts.next(i)) in SetOfSymbol() 61 conjuncts.add(new SymbolConjunct(*a.conjuncts(i))); in SetOfSymbol() 100 for (i = conjuncts.first(); i; conjuncts.next(i)) in reduce() 103 if (*conjuncts(i) <= *conjuncts(j)) { in reduce() 121 for (i = conjuncts.first(); i; conjuncts.next(i)) in reduce() 183 for (j = b.conjuncts.first(); j; b.conjuncts.next(j)) { in operator |=() 242 for (i = b.conjuncts.first(); i; b.conjuncts.next(i)) { in operator =() 290 if (conjuncts.length() != b.conjuncts.length()) in operator ==() 296 for (i = conjuncts.first(); i; conjuncts.next(i)) { in operator ==() 301 lastj = b.conjuncts.seek(conjuncts(i), lastj); in operator ==() [all …]
|
H A D | FilterOfCommunity.cc | 283 conjuncts.splice(b.conjuncts); in operator &=() 291 for (cp1 = conjuncts.head(); cp1; cp1 = conjuncts.next(cp1)) in operator &=() 307 conjuncts.splice(result.conjuncts); in operator &=() 325 conjuncts.splice(b.conjuncts); in operator |=() 330 conjuncts.splice(b.conjuncts); in operator |=() 346 for (cp1 = conjuncts.head(); cp1; cp1 = conjuncts.next(cp1)) { in operator ~() 352 conjuncts.splice(result.conjuncts); in operator ~() 397 if (conjuncts.isEmpty() || conjuncts.isSingleton()) in reduce() 404 for (cp1 = conjuncts.head(); cp1; cp1 = conjuncts.next(cp1)) in reduce() 422 for (cp3 = conjuncts.head(); cp3; cp3 = conjuncts.next(cp3)) in reduce() [all …]
|
H A D | FilterOfCommunity.hh | 122 EQList<CommunityConjunct> conjuncts; member in FilterOfCommunity 126 FilterOfCommunity() : conjuncts(), _universal(false) { in FilterOfCommunity() 138 conjuncts.append(ptr); in set() 142 return (! _universal && conjuncts.isEmpty()); in isEmpty() 150 conjuncts.clear(); in make_empty() 155 conjuncts.clear(); in make_universal()
|
H A D | SetOfSymbol.hh | 64 SetOfSymbol() : conjuncts() { in SetOfSymbol() 73 return (! _universal && conjuncts.empty()); in empty() 100 BagOfSymbolConjunct conjuncts; member in SetOfSymbol
|
/dports/www/grafana8/grafana-8.3.6/vendor/cuelang.org/go/internal/core/export/ |
H A D | expr.go | 87 e := conjuncts{ 183 x = e.conjuncts[0] 199 e.conjuncts = append(e.conjuncts, e.embed...) 210 c := field.conjuncts 261 e.conjuncts = append(e.conjuncts, s) 267 type conjuncts struct { struct 272 conjuncts []ast.Expr argument 291 x.conjuncts = append(x.conjuncts, conjunct{ 302 conjuncts []conjunct member 399 e.conjuncts = append(e.conjuncts, e.expr(x)) [all …]
|
/dports/math/py-brial/BRiAl-1.2.10/cudd/ |
H A D | cuddDecomp.c | 236 if (*conjuncts == NULL) { in Cudd_bddApproxConjDecomp() 241 (*conjuncts)[0] = hlocal; in Cudd_bddApproxConjDecomp() 419 if (*conjuncts == NULL) { in Cudd_bddIterConjDecomp() 424 (*conjuncts)[0] = old[1]; in Cudd_bddIterConjDecomp() 538 if (*conjuncts == NULL) { in Cudd_bddGenConjDecomp() 543 (*conjuncts)[0] = hlocal; in Cudd_bddGenConjDecomp() 625 if (*conjuncts == NULL) { in Cudd_bddVarConjDecomp() 629 (*conjuncts)[0] = f; in Cudd_bddVarConjDecomp() 630 cuddRef((*conjuncts)[0]); in Cudd_bddVarConjDecomp() 693 if (*conjuncts == NULL) { in Cudd_bddVarConjDecomp() [all …]
|
/dports/math/cudd/cudd-3.0.0/cudd/ |
H A D | cuddDecomp.c | 217 if (*conjuncts == NULL) { in Cudd_bddApproxConjDecomp() 222 (*conjuncts)[0] = hlocal; in Cudd_bddApproxConjDecomp() 399 if (*conjuncts == NULL) { in Cudd_bddIterConjDecomp() 404 (*conjuncts)[0] = old[1]; in Cudd_bddIterConjDecomp() 517 if (*conjuncts == NULL) { in Cudd_bddGenConjDecomp() 522 (*conjuncts)[0] = hlocal; in Cudd_bddGenConjDecomp() 604 if (*conjuncts == NULL) { in Cudd_bddVarConjDecomp() 608 (*conjuncts)[0] = f; in Cudd_bddVarConjDecomp() 609 cuddRef((*conjuncts)[0]); in Cudd_bddVarConjDecomp() 675 if (*conjuncts == NULL) { in Cudd_bddVarConjDecomp() [all …]
|
/dports/math/brial/BRiAl-1.2.10/cudd/ |
H A D | cuddDecomp.c | 236 if (*conjuncts == NULL) { in Cudd_bddApproxConjDecomp() 241 (*conjuncts)[0] = hlocal; in Cudd_bddApproxConjDecomp() 419 if (*conjuncts == NULL) { in Cudd_bddIterConjDecomp() 424 (*conjuncts)[0] = old[1]; in Cudd_bddIterConjDecomp() 538 if (*conjuncts == NULL) { in Cudd_bddGenConjDecomp() 543 (*conjuncts)[0] = hlocal; in Cudd_bddGenConjDecomp() 625 if (*conjuncts == NULL) { in Cudd_bddVarConjDecomp() 629 (*conjuncts)[0] = f; in Cudd_bddVarConjDecomp() 630 cuddRef((*conjuncts)[0]); in Cudd_bddVarConjDecomp() 693 if (*conjuncts == NULL) { in Cudd_bddVarConjDecomp() [all …]
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/bdd/cudd/ |
H A D | cuddDecomp.c | 240 if (*conjuncts == NULL) { in Cudd_bddApproxConjDecomp() 245 (*conjuncts)[0] = hlocal; in Cudd_bddApproxConjDecomp() 423 if (*conjuncts == NULL) { in Cudd_bddIterConjDecomp() 428 (*conjuncts)[0] = old[1]; in Cudd_bddIterConjDecomp() 542 if (*conjuncts == NULL) { in Cudd_bddGenConjDecomp() 547 (*conjuncts)[0] = hlocal; in Cudd_bddGenConjDecomp() 629 if (*conjuncts == NULL) { in Cudd_bddVarConjDecomp() 633 (*conjuncts)[0] = f; in Cudd_bddVarConjDecomp() 634 cuddRef((*conjuncts)[0]); in Cudd_bddVarConjDecomp() 697 if (*conjuncts == NULL) { in Cudd_bddVarConjDecomp() [all …]
|
/dports/www/grafana8/grafana-8.3.6/vendor/cuelang.org/go/tools/flow/ |
H A D | run.go | 40 c.conjuncts = make([]adt.Conjunct, n, n+len(c.tasks)) 41 copy(c.conjuncts, root.Conjuncts) 152 v := &adt.Vertex{Conjuncts: c.conjuncts} 205 c.conjuncts = append(c.conjuncts, adt.MakeRootConjunct(c.env, expr))
|
/dports/math/vampire/vampire-4.5.1/Shell/ |
H A D | InterpolantsNew.cpp | 303 FormulaList* conjuncts; in generateInterpolant() member 305 …InterpolantBuilder() : implCnt(0), lastCol(COLOR_LEFT), conjuncts(FormulaList::empty()), aside(nul… in generateInterpolant() 309 return JunctionFormula::generalJunction(Connective::AND, conjuncts); in generateInterpolant() 314 Formula* antecedent = JunctionFormula::generalJunction(Connective::AND, conjuncts); in generateInterpolant() 336 conjuncts = FormulaList::empty(); in generateInterpolant() 337 FormulaList::push(f,conjuncts); in generateInterpolant() 339 FormulaList::push(u->getFormula(),conjuncts); in generateInterpolant() 350 conjuncts = FormulaList::empty(); in generateInterpolant() 352 FormulaList::push(u->getFormula(),conjuncts); in generateInterpolant()
|
/dports/math/py-Diofant/Diofant-0.13.0/diofant/logic/ |
H A D | inference.py | 5 from .boolalg import And, Not, conjuncts, to_cnf 246 for c in conjuncts(to_cnf(sentence)): 284 for c in conjuncts(to_cnf(sentence)):
|
/dports/lang/scheme48/scheme48-1.9.2/scheme/bcomp/ |
H A D | usual.scm | 31 (let ((conjuncts (cdr exp))) 32 (cond ((null? conjuncts) `#t) 33 ((null? (cdr conjuncts)) (car conjuncts)) 34 (else `(,(r 'if) ,(car conjuncts) 35 (,(r 'and) ,@(cdr conjuncts))
|
/dports/math/py-sympy/sympy-1.9/sympy/logic/ |
H A D | inference.py | 3 from sympy.logic.boolalg import And, Not, conjuncts, to_cnf 286 for c in conjuncts(to_cnf(sentence)): 328 for c in conjuncts(to_cnf(sentence)):
|
/dports/www/grafana8/grafana-8.3.6/vendor/cuelang.org/go/internal/core/subsume/ |
H A D | structural.go | 241 conjuncts []adt.Conjunct member 250 e.conjuncts = append(e.conjuncts, adt.MakeRootConjunct(env, x)) 255 e.conjuncts = append(e.conjuncts, adt.MakeRootConjunct(env, x))
|
/dports/www/gitea/gitea-1.16.5/vendor/github.com/blevesearch/bleve/v2/search/query/ |
H A D | conjunction.go | 34 func NewConjunctionQuery(conjuncts []Query) *ConjunctionQuery { 36 Conjuncts: conjuncts,
|
/dports/security/keybase/client-v5.7.1/go/vendor/github.com/blevesearch/bleve/search/query/ |
H A D | conjunction.go | 34 func NewConjunctionQuery(conjuncts []Query) *ConjunctionQuery { 36 Conjuncts: conjuncts,
|
/dports/www/mattermost-server/mattermost-server-6.0.2/vendor/github.com/blevesearch/bleve/search/query/ |
H A D | conjunction.go | 34 func NewConjunctionQuery(conjuncts []Query) *ConjunctionQuery { 36 Conjuncts: conjuncts,
|
/dports/audio/pms-devel/pms-c94e3c6/vendor/github.com/blevesearch/bleve/search/query/ |
H A D | conjunction.go | 34 func NewConjunctionQuery(conjuncts []Query) *ConjunctionQuery { 36 Conjuncts: conjuncts,
|
/dports/math/minizinc/libminizinc-2.5.5/lib/flatten/ |
H A D | flatten_ite.cpp | 18 std::vector<Expression*> conjuncts; in get_conjuncts() local 28 conjuncts.push_back(e); in get_conjuncts() 31 conjuncts.push_back(e); in get_conjuncts() 34 return conjuncts; in get_conjuncts() 108 auto conjuncts = get_conjuncts(ite->thenExpr(i)); in flatten_ite() local 109 for (auto* c : conjuncts) { in flatten_ite() 115 auto conjuncts = get_conjuncts(ite->elseExpr()); in flatten_ite() local 116 for (auto* c : conjuncts) { in flatten_ite()
|
/dports/math/py-sympy/sympy-1.9/sympy/assumptions/handlers/ |
H A D | matrices.py | 6 from sympy.logic.boolalg import conjuncts 80 if Q.symmetric(expr) in conjuncts(assumptions): 137 if Q.invertible(expr) in conjuncts(assumptions): 242 if Q.orthogonal(expr) in conjuncts(assumptions): 295 if Q.unitary(expr) in conjuncts(assumptions): 390 if Q.positive_definite(expr) in conjuncts(assumptions): 445 if Q.upper_triangular(expr) in conjuncts(assumptions): 503 if Q.lower_triangular(expr) in conjuncts(assumptions): 569 if Q.diagonal(expr) in conjuncts(assumptions):
|
/dports/www/grafana8/grafana-8.3.6/vendor/cuelang.org/go/encoding/jsonschema/ |
H A D | decode.go | 393 conjuncts := []ast.Expr{} 446 conjuncts = append(conjuncts, s.all.constraints...) 460 conjuncts = append(conjuncts, ast.NewBinExpr(token.OR, disjuncts...)) 463 if len(conjuncts) == 0 { 466 e = ast.NewBinExpr(token.AND, conjuncts...)
|
/dports/www/gitea/gitea-1.16.5/vendor/github.com/blevesearch/bleve/v2/ |
H A D | query.go | 44 func NewConjunctionQuery(conjuncts ...query.Query) *query.ConjunctionQuery { 45 return query.NewConjunctionQuery(conjuncts)
|
/dports/security/keybase/client-v5.7.1/go/vendor/github.com/blevesearch/bleve/ |
H A D | query.go | 44 func NewConjunctionQuery(conjuncts ...query.Query) *query.ConjunctionQuery { 45 return query.NewConjunctionQuery(conjuncts)
|
/dports/www/mattermost-server/mattermost-server-6.0.2/vendor/github.com/blevesearch/bleve/ |
H A D | query.go | 44 func NewConjunctionQuery(conjuncts ...query.Query) *query.ConjunctionQuery { 45 return query.NewConjunctionQuery(conjuncts)
|