19 const Formula &Formula::create(llvm::BumpPtrAllocator &Alloc, Kind K,  in create()
20                                ArrayRef<const Formula *> Operands,  in create()
25   void *Mem = Alloc.Allocate(sizeof(Formula) +  in create()
27                              alignof(Formula));  in create()
28   Formula *Result = new (Mem) Formula();  in create()
34   llvm::copy(Operands, reinterpret_cast<const Formula **>(Result + 1));  in create()
38 static llvm::StringLiteral sigil(Formula::Kind K) {  in sigil()
40   case Formula::AtomRef:  in sigil()
41   case Formula::Literal:  in sigil()
43   case Formula::Not:  in sigil()
45   case Formula::And:  in sigil()
47   case Formula::Or:  in sigil()
49   case Formula::Implies:  in sigil()
51   case Formula::Equal:  in sigil()
57 void Formula::print(llvm::raw_ostream &OS, const AtomNames *Names) const {  in print()