Home
last modified time | relevance | path

Searched refs:ClauseSetMaxVarNumber (Results 1 – 3 of 3) sorted by relevance

/dports/math/eprover/eprover-E-2.0/CLAUSES/
H A Dccl_clausesets.h165 long ClauseSetMaxVarNumber(ClauseSet_p set);
H A Dccl_grounding.c1020 long vars = ClauseSetMaxVarNumber(set); in ClauseSetCreateGroundInstances()
H A Dccl_clausesets.c2008 long ClauseSetMaxVarNumber(ClauseSet_p set) in ClauseSetMaxVarNumber() function