Home
last modified time | relevance | path

Searched refs:conjuncts (Results 1 – 25 of 281) sorted by relevance

12345678910>>...12

/dports/net-mgmt/irrtoolset/irrtoolset-release-5.1.3/src/normalform/
H A DSetOfSymbol.cc60 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 DFilterOfCommunity.cc283 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 DFilterOfCommunity.hh122 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 DSetOfSymbol.hh64 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 Dexpr.go87 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 member
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 DcuddDecomp.c236 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 DcuddDecomp.c217 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 DcuddDecomp.c236 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 DcuddDecomp.c240 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 Drun.go40 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 DInterpolantsNew.cpp303 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 Dinference.py5 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 Dusual.scm31 (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 Dinference.py3 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 Dstructural.go241 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 Dconjunction.go34 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 Dconjunction.go34 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 Dconjunction.go34 func NewConjunctionQuery(conjuncts []Query) *ConjunctionQuery {
36 Conjuncts: conjuncts,
/dports/audio/pms-devel/pms-c94e3c6/vendor/github.com/blevesearch/bleve/search/query/
H A Dconjunction.go34 func NewConjunctionQuery(conjuncts []Query) *ConjunctionQuery {
36 Conjuncts: conjuncts,
/dports/math/minizinc/libminizinc-2.5.5/lib/flatten/
H A Dflatten_ite.cpp18 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 Dmatrices.py6 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 Ddecode.go393 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 Dquery.go44 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 Dquery.go44 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 Dquery.go44 func NewConjunctionQuery(conjuncts ...query.Query) *query.ConjunctionQuery {
45 return query.NewConjunctionQuery(conjuncts)

12345678910>>...12