Searched refs:AtomRef (Results 1 – 6 of 6) sorted by relevance
41 case Formula::AtomRef: in sigil()59 if (Names && kind() == AtomRef) in print()68 case AtomRef: in print()
22 case Formula::AtomRef: in substitute()89 case Formula::AtomRef: in simplifyConstraints()93 if (Constraint->operands()[0]->kind() == Formula::AtomRef) in simplifyConstraints()98 if (operands[0]->kind() == Formula::AtomRef && in simplifyConstraints()99 operands[1]->kind() == Formula::AtomRef) { in simplifyConstraints()
36 return &Formula::create(Alloc, Formula::AtomRef, {}, in makeAtomRef()115 It->second = (F.kind() == Formula::AtomRef) in makeBoolValue()
288 if (Val->kind() == Formula::AtomRef) in buildCNF()323 case Formula::AtomRef: in buildCNF()
54 AtomRef, in alignas() enumerator69 assert(kind() == AtomRef); in alignas()105 case AtomRef: in alignas()
121 assert(F.kind() == Formula::AtomRef); in TopBoolValue()138 assert(F.kind() == Formula::AtomRef); in AtomicBoolValue()153 assert(F.kind() != Formula::AtomRef && "For now, use AtomicBoolValue"); in FormulaBoolValue()