Home
last modified time | relevance | path

Searched refs:ClauseSetTermSetProp (Results 1 – 2 of 2) sorted by relevance

/dports/math/eprover/eprover-E-2.0/CLAUSES/
H A Dccl_clausesets.h116 void ClauseSetTermSetProp(ClauseSet_p set, TermProperties prop);
H A Dccl_clausesets.c1195 void ClauseSetTermSetProp(ClauseSet_p set, TermProperties prop) in ClauseSetTermSetProp() function
1247 ClauseSetTermSetProp(set, TPOpFlag); in ClauseSetGetSharedTermNodes()