Searched defs:collectAtoms (Results 1 – 9 of 9) sorted by relevance
24 void collectAtoms(TNode node, std::set<Node>& seen) { in collectAtoms() function
249 void CnfProof::collectAtoms(const prop::SatClause* clause, in collectAtoms() function in CVC4::CnfProof
169 void Unit::collectAtoms(Stack<Literal*>& acc) in collectAtoms() function in Unit
599 void Formula::collectAtoms(Stack<Literal*>& acc) in collectAtoms() function in Kernel::Formula
584 void InterpolantMinimizer::collectAtoms(FormulaUnit* f, Stack<vstring>& atoms) in collectAtoms() function in InterpolantMinimizer624 void InterpolantMinimizer::collectAtoms(Unit* u, Stack<vstring>& atoms) in collectAtoms() function in InterpolantMinimizer
128 bool collectAtoms; member in Avogadro::QtPlugins::CoordinateEditorDialog::ValidateStorage
936 collectAtoms(void) in collectAtoms() function
1806 AtomsCollect collectAtoms; in lemma() local