Searched defs:E_satisfied (Results 1 – 1 of 1) sorted by relevance
1058 bool E_satisfied = true; in checkAUrecursive() local1161 bool E_satisfied = true;//all existential formulas satisfied in checkANUrecursive() local