Lines Matching defs:In

122 const Formula *parse(Arena &A, llvm::StringRef &In) {
123   auto EatSpaces = [&] { In = In.ltrim(' '); };
126   if (In.consume_front("!")) {
127     if (auto *Arg = parse(A, In))
132   if (In.consume_front("(")) {
133     auto *Arg1 = parse(A, In);
139     if (In.consume_front("|"))
141     else if (In.consume_front("&"))
143     else if (In.consume_front("=>"))
145     else if (In.consume_front("="))
150     auto *Arg2 = parse(A, In);
155     if (!In.consume_front(")"))
163   if (In.consume_front("V")) {
165     if (In.consumeInteger(10, At))
170   if (In.consume_front("true"))
172   if (In.consume_front("false"))
202 llvm::Expected<const Formula &> Arena::parseFormula(llvm::StringRef In) {
203   llvm::StringRef Rest = In;
206     return llvm::make_error<FormulaParseError>(In, In.size() - Rest.size());
209     return llvm::make_error<FormulaParseError>(In, In.size() - Rest.size());