Lines Matching refs:substitute
18 substitute(const Formula &F, in substitute() function
30 return arena.makeNot(substitute(*F.operands()[0], Substitutions, arena)); in substitute()
32 return arena.makeAnd(substitute(*F.operands()[0], Substitutions, arena), in substitute()
33 substitute(*F.operands()[1], Substitutions, arena)); in substitute()
35 return arena.makeOr(substitute(*F.operands()[0], Substitutions, arena), in substitute()
36 substitute(*F.operands()[1], Substitutions, arena)); in substitute()
39 substitute(*F.operands()[0], Substitutions, arena), in substitute()
40 substitute(*F.operands()[1], Substitutions, arena)); in substitute()
42 return arena.makeEquals(substitute(*F.operands()[0], Substitutions, arena), in substitute()
43 substitute(*F.operands()[1], Substitutions, arena)); in substitute()
133 substitute(*Constraint, Substitutions, arena); in simplifyConstraints()