Searched defs:registerAtom (Results 1 – 11 of 11) sorted by relevance
75 bool registerAtom(uint id, void *value) in registerAtom() function
200 virtual void registerAtom(const Expr& e) in registerAtom() function
387 virtual void registerAtom(const Expr& e) { } in registerAtom() function
107 void registerAtom(const Expr& e, const Theorem& thm) in registerAtom() function in CVC3::SearchSatCNFCallback1002 void SearchSat::registerAtom(const Expr& e) in registerAtom() function in SearchSat
67 void CNF_Manager::registerAtom(const Expr& e, const Theorem& thm) in registerAtom() function in CNF_Manager
91 void Theory::registerAtom(const Expr& e, const Theorem& thm) in registerAtom() function in Theory
3541 void TheoryCore::registerAtom(const Expr& e, const Theorem& thm) in registerAtom() function in TheoryCore
1897 void VCL::registerAtom(const Expr& e) in registerAtom() function in VCL
3953 void TheoryArithNew::registerAtom(const Expr& e) { in registerAtom() function in TheoryArithNew
4662 void TheoryArithOld::registerAtom(const Expr& e) { in registerAtom() function in TheoryArithOld
1501 public void registerAtom(Expr expr) throws Cvc3Exception { in registerAtom() method in ValidityChecker