| /dports/math/eprover/eprover-E-2.0/HEURISTICS/ |
| H A D | che_prio_funs.c | 242 EvalPriority PrioFunPreferGround(Clause_p clause) in PrioFunPreferGround()
317 EvalPriority PrioFunPreferNew(Clause_p clause) in PrioFunPreferNew()
342 EvalPriority PrioFunPreferGoals(Clause_p clause) in PrioFunPreferGoals()
393 EvalPriority PrioFunPreferMixed(Clause_p clause) in PrioFunPreferMixed()
478 EvalPriority PrioFunPreferUnits(Clause_p clause) in PrioFunPreferUnits()
527 EvalPriority PrioFunPreferDemods(Clause_p clause) in PrioFunPreferDemods()
579 EvalPriority PrioFunConstPrio(Clause_p clause) in PrioFunConstPrio()
656 EvalPriority PrioFunByNegLitDist(Clause_p clause) in PrioFunByNegLitDist()
729 EvalPriority PrioFunSimulateSOS(Clause_p clause) in PrioFunSimulateSOS()
751 EvalPriority PrioFunDeferSOS(Clause_p clause) in PrioFunDeferSOS()
[all …]
|
| H A D | che_litselection.c | 525 static void clause_select_pos(Clause_p clause) in clause_select_pos()
2882 void SelectComplex(OCB_p ocb, Clause_p clause) in SelectComplex()
2934 void PSelectComplex(OCB_p ocb, Clause_p clause) in PSelectComplex()
5393 void SelectVGNonCR(OCB_p ocb, Clause_p clause) in SelectVGNonCR()
5653 void SelectCQAr(OCB_p ocb, Clause_p clause) in SelectCQAr()
5702 void SelectCQIAr(OCB_p ocb, Clause_p clause) in SelectCQIAr()
6359 void SelectCQArNT(OCB_p ocb, Clause_p clause) in SelectCQArNT()
6409 void SelectCQIArNT(OCB_p ocb, Clause_p clause) in SelectCQIArNT()
6459 void SelectCQArNp(OCB_p ocb, Clause_p clause) in SelectCQArNp()
6510 void SelectCQIArNp(OCB_p ocb, Clause_p clause) in SelectCQIArNp()
[all …]
|
| /dports/math/eprover/eprover-E-2.0/CLAUSES/ |
| H A D | ccl_clauses.h | 190 #define ClauseQueryTPTPType(clause) \ argument
200 #define ClauseQueryCSSCPASource(clause)\ argument
221 #define ClauseLiteralNumber(clause)\ argument
234 #define ClauseIsDemodulator(clause)\ argument
237 #define ClauseIsRWRule(clause)\ argument
242 #define ClauseIsMixed(clause)\ argument
245 #define ClauseIsConjecture(clause) \ argument
251 #define ClauseIsTrivial(clause) \ argument
263 #define ClauseIsSubsumeOrdered(clause) \ argument
273 #define ClauseIsEquational(clause) \ argument
[all …]
|
| H A D | ccl_clauses.c | 168 Clause_p clause_copy_meta(Clause_p clause) in clause_copy_meta()
401 bool ClauseHasMaxPosEqLit(Clause_p clause) in ClauseHasMaxPosEqLit()
474 Clause_p ClauseCanonize(Clause_p clause) in ClauseCanonize()
654 bool ClauseIsACRedundant(Clause_p clause) in ClauseIsACRedundant()
708 bool ClauseIsSemFalse(Clause_p clause) in ClauseIsSemFalse()
735 bool ClauseIsSemEmpty(Clause_p clause) in ClauseIsSemEmpty()
1084 Clause_p ClauseFlatCopy(Clause_p clause) in ClauseFlatCopy()
1106 Clause_p ClauseCopyOpt(Clause_p clause) in ClauseCopyOpt()
1127 Clause_p ClauseCopyDisjoint(Clause_p clause) in ClauseCopyDisjoint()
1962 void ClauseDetachParents(Clause_p clause) in ClauseDetachParents()
[all …]
|
| /dports/dns/opendnssec2/opendnssec-2.1.10/enforcer/src/db/ |
| H A D | db_clause.c | 44 db_clause_t* clause = in db_clause_new() local
56 void db_clause_free(db_clause_t* clause) { in db_clause_free()
69 const char* db_clause_field(const db_clause_t* clause) { in db_clause_field()
77 db_clause_type_t db_clause_type(const db_clause_t* clause) { in db_clause_type()
85 const db_value_t* db_clause_value(const db_clause_t* clause) { in db_clause_value()
93 db_clause_operator_t db_clause_operator(const db_clause_t* clause) { in db_clause_operator()
101 const db_clause_list_t* db_clause_list(const db_clause_t* clause) { in db_clause_list()
109 int db_clause_set_field(db_clause_t* clause, const char* field) { in db_clause_set_field()
154 int db_clause_not_empty(const db_clause_t* clause) { in db_clause_not_empty()
179 const db_clause_t* db_clause_next(const db_clause_t* clause) { in db_clause_next()
[all …]
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/sat/satoko/ |
| H A D | clause.h | 17 struct clause { struct
35 const struct clause *c1 = (const struct clause *)p1; in clause_compare() argument
53 static inline void clause_print(struct clause *clause) in clause_print()
62 static inline void clause_dump(FILE *file, struct clause *clause, int no_zero_var) in clause_dump()
|
| /dports/math/eprover/eprover-E-2.0/ANALYSIS/ |
| H A D | can_clausestore.c | 63 void CompClauseFree(CompClause_p clause, TB_p bank) in CompClauseFree()
86 void CompClauseAddTerms(CompClause_p clause, Clause_p term_clause) in CompClauseAddTerms()
121 void CompClauseRemoveTerms(CompClause_p clause, TB_p bank) in CompClauseRemoveTerms()
146 CompClause_p PackClause(Clause_p clause) in PackClause()
176 Clause_p UnpackClause(CompClause_p clause, TB_p bank) in UnpackClause()
206 CompClause_p CompactifyClause(Clause_p clause) in CompactifyClause()
227 Clause_p UnCompactifyClause(CompClause_p clause, TB_p bank) in UnCompactifyClause()
251 Clause_p clause; in CompClausePrint() local
273 Clause_p clause; in CompClausePCLPrint() local
|
| /dports/databases/py-sqlalchemy13/SQLAlchemy-1.3.24/lib/sqlalchemy/orm/ |
| H A D | evaluator.py | 58 def process(self, clause): argument
66 def visit_grouping(self, clause): argument
69 def visit_null(self, clause): argument
72 def visit_false(self, clause): argument
75 def visit_true(self, clause): argument
78 def visit_column(self, clause): argument
107 def visit_clauselist(self, clause): argument
140 def visit_binary(self, clause): argument
171 def visit_unary(self, clause): argument
187 def visit_bindparam(self, clause): argument
|
| /dports/databases/py-sqlalchemy11/SQLAlchemy-1.1.18/lib/sqlalchemy/orm/ |
| H A D | evaluator.py | 32 def process(self, clause): argument
39 def visit_grouping(self, clause): argument
42 def visit_null(self, clause): argument
45 def visit_false(self, clause): argument
48 def visit_true(self, clause): argument
51 def visit_column(self, clause): argument
67 def visit_clauselist(self, clause): argument
96 def visit_binary(self, clause): argument
119 def visit_unary(self, clause): argument
132 def visit_bindparam(self, clause): argument
|
| /dports/databases/py-sqlalchemy12/SQLAlchemy-1.2.19/lib/sqlalchemy/orm/ |
| H A D | evaluator.py | 58 def process(self, clause): argument
66 def visit_grouping(self, clause): argument
69 def visit_null(self, clause): argument
72 def visit_false(self, clause): argument
75 def visit_true(self, clause): argument
78 def visit_column(self, clause): argument
107 def visit_clauselist(self, clause): argument
140 def visit_binary(self, clause): argument
171 def visit_unary(self, clause): argument
187 def visit_bindparam(self, clause): argument
|
| /dports/databases/py-sqlalchemy10/SQLAlchemy-1.0.14/lib/sqlalchemy/orm/ |
| H A D | evaluator.py | 32 def process(self, clause): argument
39 def visit_grouping(self, clause): argument
42 def visit_null(self, clause): argument
45 def visit_false(self, clause): argument
48 def visit_true(self, clause): argument
51 def visit_column(self, clause): argument
67 def visit_clauselist(self, clause): argument
96 def visit_binary(self, clause): argument
119 def visit_unary(self, clause): argument
132 def visit_bindparam(self, clause): argument
|
| /dports/math/eprover/eprover-E-2.0/PCL2/ |
| H A D | pcl_miniclauses.c | 61 void MiniClauseFree(MiniClause_p clause) in MiniClauseFree()
85 void MiniClauseAddTerms(MiniClause_p clause, Clause_p term_clause) in MiniClauseAddTerms()
122 MiniClause_p ClauseToMiniClause(Clause_p clause) in ClauseToMiniClause()
163 Clause_p MiniClauseToClause(MiniClause_p clause, TB_p bank) in MiniClauseToClause()
192 MiniClause_p MinifyClause(Clause_p clause) in MinifyClause()
213 Clause_p UnMinifyClause(MiniClause_p clause, TB_p bank) in UnMinifyClause()
237 Clause_p clause; in MiniClausePrint() local
259 Clause_p clause; in MiniClausePCLPrint() local
281 Clause_p clause; in MiniClauseTSTPCorePrint() local
|
| /dports/databases/postgresql12-client/postgresql-12.9/src/include/nodes/ |
| H A D | nodeFuncs.h | 59 is_funcclause(const void *clause) in is_funcclause()
66 is_opclause(const void *clause) in is_opclause()
73 get_leftop(const void *clause) in get_leftop()
85 get_rightop(const void *clause) in get_rightop()
97 is_andclause(const void *clause) in is_andclause()
106 is_orclause(const void *clause) in is_orclause()
115 is_notclause(const void *clause) in is_notclause()
|
| /dports/databases/postgresql14-pltcl/postgresql-14.1/src/include/nodes/ |
| H A D | nodeFuncs.h | 59 is_funcclause(const void *clause) in is_funcclause()
66 is_opclause(const void *clause) in is_opclause()
73 get_leftop(const void *clause) in get_leftop()
85 get_rightop(const void *clause) in get_rightop()
97 is_andclause(const void *clause) in is_andclause()
106 is_orclause(const void *clause) in is_orclause()
115 is_notclause(const void *clause) in is_notclause()
|
| /dports/databases/postgresql14-server/postgresql-14.1/src/include/nodes/ |
| H A D | nodeFuncs.h | 59 is_funcclause(const void *clause) in is_funcclause()
66 is_opclause(const void *clause) in is_opclause()
73 get_leftop(const void *clause) in get_leftop()
85 get_rightop(const void *clause) in get_rightop()
97 is_andclause(const void *clause) in is_andclause()
106 is_orclause(const void *clause) in is_orclause()
115 is_notclause(const void *clause) in is_notclause()
|
| /dports/databases/postgresql14-plperl/postgresql-14.1/src/include/nodes/ |
| H A D | nodeFuncs.h | 59 is_funcclause(const void *clause) in is_funcclause()
66 is_opclause(const void *clause) in is_opclause()
73 get_leftop(const void *clause) in get_leftop()
85 get_rightop(const void *clause) in get_rightop()
97 is_andclause(const void *clause) in is_andclause()
106 is_orclause(const void *clause) in is_orclause()
115 is_notclause(const void *clause) in is_notclause()
|
| /dports/databases/postgresql14-plpython/postgresql-14.1/src/include/nodes/ |
| H A D | nodeFuncs.h | 59 is_funcclause(const void *clause) in is_funcclause()
66 is_opclause(const void *clause) in is_opclause()
73 get_leftop(const void *clause) in get_leftop()
85 get_rightop(const void *clause) in get_rightop()
97 is_andclause(const void *clause) in is_andclause()
106 is_orclause(const void *clause) in is_orclause()
115 is_notclause(const void *clause) in is_notclause()
|
| /dports/databases/postgresql14-docs/postgresql-14.1/src/include/nodes/ |
| H A D | nodeFuncs.h | 59 is_funcclause(const void *clause) in is_funcclause()
66 is_opclause(const void *clause) in is_opclause()
73 get_leftop(const void *clause) in get_leftop()
85 get_rightop(const void *clause) in get_rightop()
97 is_andclause(const void *clause) in is_andclause()
106 is_orclause(const void *clause) in is_orclause()
115 is_notclause(const void *clause) in is_notclause()
|
| /dports/databases/postgresql13-pltcl/postgresql-13.5/src/include/nodes/ |
| H A D | nodeFuncs.h | 59 is_funcclause(const void *clause) in is_funcclause()
66 is_opclause(const void *clause) in is_opclause()
73 get_leftop(const void *clause) in get_leftop()
85 get_rightop(const void *clause) in get_rightop()
97 is_andclause(const void *clause) in is_andclause()
106 is_orclause(const void *clause) in is_orclause()
115 is_notclause(const void *clause) in is_notclause()
|
| /dports/databases/postgresql13-server/postgresql-13.5/src/include/nodes/ |
| H A D | nodeFuncs.h | 59 is_funcclause(const void *clause) in is_funcclause()
66 is_opclause(const void *clause) in is_opclause()
73 get_leftop(const void *clause) in get_leftop()
85 get_rightop(const void *clause) in get_rightop()
97 is_andclause(const void *clause) in is_andclause()
106 is_orclause(const void *clause) in is_orclause()
115 is_notclause(const void *clause) in is_notclause()
|
| /dports/databases/postgresql14-contrib/postgresql-14.1/src/include/nodes/ |
| H A D | nodeFuncs.h | 59 is_funcclause(const void *clause) in is_funcclause()
66 is_opclause(const void *clause) in is_opclause()
73 get_leftop(const void *clause) in get_leftop()
85 get_rightop(const void *clause) in get_rightop()
97 is_andclause(const void *clause) in is_andclause()
106 is_orclause(const void *clause) in is_orclause()
115 is_notclause(const void *clause) in is_notclause()
|
| /dports/databases/postgresql14-client/postgresql-14.1/src/include/nodes/ |
| H A D | nodeFuncs.h | 59 is_funcclause(const void *clause) in is_funcclause()
66 is_opclause(const void *clause) in is_opclause()
73 get_leftop(const void *clause) in get_leftop()
85 get_rightop(const void *clause) in get_rightop()
97 is_andclause(const void *clause) in is_andclause()
106 is_orclause(const void *clause) in is_orclause()
115 is_notclause(const void *clause) in is_notclause()
|
| /dports/databases/postgresql12-server/postgresql-12.9/src/include/nodes/ |
| H A D | nodeFuncs.h | 59 is_funcclause(const void *clause) in is_funcclause()
66 is_opclause(const void *clause) in is_opclause()
73 get_leftop(const void *clause) in get_leftop()
85 get_rightop(const void *clause) in get_rightop()
97 is_andclause(const void *clause) in is_andclause()
106 is_orclause(const void *clause) in is_orclause()
115 is_notclause(const void *clause) in is_notclause()
|
| /dports/databases/postgresql13-client/postgresql-13.5/src/include/nodes/ |
| H A D | nodeFuncs.h | 59 is_funcclause(const void *clause) in is_funcclause()
66 is_opclause(const void *clause) in is_opclause()
73 get_leftop(const void *clause) in get_leftop()
85 get_rightop(const void *clause) in get_rightop()
97 is_andclause(const void *clause) in is_andclause()
106 is_orclause(const void *clause) in is_orclause()
115 is_notclause(const void *clause) in is_notclause()
|
| /dports/databases/postgresql13-docs/postgresql-13.5/src/include/nodes/ |
| H A D | nodeFuncs.h | 59 is_funcclause(const void *clause) in is_funcclause()
66 is_opclause(const void *clause) in is_opclause()
73 get_leftop(const void *clause) in get_leftop()
85 get_rightop(const void *clause) in get_rightop()
97 is_andclause(const void *clause) in is_andclause()
106 is_orclause(const void *clause) in is_orclause()
115 is_notclause(const void *clause) in is_notclause()
|