Home
last modified time | relevance | path

Searched defs:collectAtoms (Results 1 – 9 of 9) sorted by relevance

/dports/math/cvc4/CVC4-1.7/src/proof/
H A Dproof_utils.cpp24 void collectAtoms(TNode node, std::set<Node>& seen) { in collectAtoms() function
H A Dcnf_proof.cpp249 void CnfProof::collectAtoms(const prop::SatClause* clause, in collectAtoms() function in CVC4::CnfProof
/dports/math/vampire/vampire-4.5.1/Kernel/
H A DUnit.cpp169 void Unit::collectAtoms(Stack<Literal*>& acc) in collectAtoms() function in Unit
H A DFormula.cpp599 void Formula::collectAtoms(Stack<Literal*>& acc) in collectAtoms() function in Kernel::Formula
/dports/math/vampire/vampire-4.5.1/Shell/
H A DInterpolantMinimizer.cpp584 void InterpolantMinimizer::collectAtoms(FormulaUnit* f, Stack<vstring>& atoms) in collectAtoms() function in InterpolantMinimizer
624 void InterpolantMinimizer::collectAtoms(Unit* u, Stack<vstring>& atoms) in collectAtoms() function in InterpolantMinimizer
/dports/science/py-avogadrolibs/avogadrolibs-1.94.0/avogadro/qtplugins/coordinateeditor/
H A Dcoordinateeditordialog.cpp128 bool collectAtoms; member in Avogadro::QtPlugins::CoordinateEditorDialog::ValidateStorage
/dports/science/avogadrolibs/avogadrolibs-1.94.0/avogadro/qtplugins/coordinateeditor/
H A Dcoordinateeditordialog.cpp128 bool collectAtoms; member in Avogadro::QtPlugins::CoordinateEditorDialog::ValidateStorage
/dports/lang/swi-pl/swipl-8.2.3/src/
H A Dpl-atom.c936 collectAtoms(void) in collectAtoms() function
/dports/math/cvc4/CVC4-1.7/src/theory/
H A Dtheory_engine.cpp1806 AtomsCollect collectAtoms; in lemma() local