Home
last modified time | relevance | path

Searched defs:copy_clause (Results 1 – 8 of 8) sorted by relevance

/dports/textproc/zorba/zorba-2.7.0/src/compiler/expression/
H A Dupdate_exprs.cpp169 copy_clause::copy_clause(CompilerCB* ccb, var_expr* aVar, expr* aExpr) in copy_clause() function in zorba::copy_clause
H A Dvar_expr.h28 class copy_clause; variable
/dports/math/z3/z3-z3-4.8.13/src/sat/
H A Dsat_clause.cpp186 clause * clause_allocator::copy_clause(clause const& other) { in copy_clause() function in sat::clause_allocator
/dports/math/py-z3-solver/z3-z3-4.8.10/src/sat/
H A Dsat_clause.cpp186 clause * clause_allocator::copy_clause(clause const& other) { in copy_clause() function in sat::clause_allocator
/dports/math/cadical/cadical-1.0.3-cb89cbf/src/
H A Dcollect.cpp182 void Internal::copy_clause (Clause * c) { in copy_clause() function in CaDiCaL::Internal
/dports/math/yices/yices-2.6.2/src/solvers/cdcl/
H A Ddelegate.c520 static void copy_clause(delegate_t *d, const clause_t *c) { in copy_clause() function
/dports/net-mgmt/pmacct/pmacct-1.7.5/src/
H A Dsql_common.c36 char copy_clause[LONGSRVBUFLEN]; variable
/dports/biology/ncbi-toolkit/ncbi/api/
H A Dsqnutil4.c10523 FeatureClausePtr new_fcp, copy_clause; in CopyMatchingClauses() local