Searched defs:boollit (Results 1 – 5 of 5) sorted by relevance
185 LitUid NongroundProgramBuilder::boollit(Location const &loc, bool type) { in boollit() function in Gringo::Input::NongroundProgramBuilder
220 LitUid boollit(Location const &loc, bool type) override { in boollit() function in Gringo::Input::__anon396975690111::ASTBuilder
404 LitUid TestNongroundProgramBuilder::boollit(Location const &, bool type) { in boollit() function in Gringo::Input::Test::__anond2a2937f0111::TestNongroundProgramBuilder
2110 if (BoolLiteralAST *boollit = expression->asBoolLiteral()) { in qtPropertyAttribute() local
1980 BoolLit* boollit(bool b) { return b ? literalTrue : literalFalse; } in boollit() function in MiniZinc::Constants