Searched refs:id1985 (Results 1 – 1 of 1) sorted by relevance
1007 Expr id1985=vc->ltExpr(id117,id895); in testgeorge1() local1008 Expr id1984=vc->notExpr(id1985); in testgeorge1()1009 vc->registerAtom(id1985); in testgeorge1()3222 vc->query(id1985); in testgeorge1()4895 Expr id1985=vc->eqExpr(id103,id121); in testgeorge2() local4896 Expr id1984=vc->notExpr(id1985); in testgeorge2()4897 vc->registerAtom(id1985); in testgeorge2()6715 vc->query(id1985); in testgeorge2()8226 Expr id1985=vc->eqExpr(id453,id289); in testgeorge3() local8227 Expr id1984=vc->notExpr(id1985); in testgeorge3()[all …]