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