20 const Formula &Formula::create(llvm::BumpPtrAllocator &Alloc, Kind K,  in create()
21                                ArrayRef<const Formula *> Operands,  in create()
26   void *Mem = Alloc.Allocate(sizeof(Formula) +  in create()
28                              alignof(Formula));  in create()
29   Formula *Result = new (Mem) Formula();  in create()
35   llvm::copy(Operands, reinterpret_cast<const Formula **>(Result + 1));  in create()
39 static llvm::StringLiteral sigil(Formula::Kind K) {  in sigil()
41   case Formula::AtomRef:  in sigil()
42   case Formula::Literal:  in sigil()
44   case Formula::Not:  in sigil()
46   case Formula::And:  in sigil()
48   case Formula::Or:  in sigil()
50   case Formula::Implies:  in sigil()
52   case Formula::Equal:  in sigil()
58 void Formula::print(llvm::raw_ostream &OS, const AtomNames *Names) const {  in print()