Searched defs:getFreeVar (Results 1 – 6 of 6) sorted by relevance
163 BoolVector getFreeVar() const {return freeVar_;} in getFreeVar() function
168 BoolVector getFreeVar() const {return freeVar_;} in getFreeVar() function
222 std::vector<Expr> Tptp::getFreeVar() { in getFreeVar() function in CVC4::parser::Tptp
308 Node ConjectureGenerator::getFreeVar( TypeNode tn, unsigned i ) { in getFreeVar() function in CVC4::ConjectureGenerator1916 Node TermGenEnv::getFreeVar( TypeNode tn, unsigned i ) { in getFreeVar() function in CVC4::TermGenEnv
938 TNode SygusSymBreakNew::getFreeVar( TypeNode tn ) { in getFreeVar() function in SygusSymBreakNew
89 TNode TermDbSygus::getFreeVar( TypeNode tn, int i, bool useSygusType ) { in getFreeVar() function in CVC4::theory::quantifiers::TermDbSygus