Searched refs:upBool (Results 1 – 4 of 4) sorted by relevance
38 metaLevel->upBool(s1->component() == s2->component() in metaSortLeq()49 return context.builtInReplace(subject, metaLevel->upBool(m != 0)); in metaWellFormedModule()63 return context.builtInReplace(subject, metaLevel->upBool(result)); in metaWellFormedTerm()96 return context.builtInReplace(subject, metaLevel->upBool(result)); in metaWellFormedSubstitution()160 return context.builtInReplace(subject, metaLevel->upBool(result)); in metaSameKind()615 DagNode* r = metaLevel->upBool(result == VariableGenerator::SAT); in metaCheck()
721 MetaLevel::upBool(bool value) in upBool() function in MetaLevel939 args[4] = upBool(moreInLayer); in upVariant()
60 DagNode* upBool(bool value);
10649 * metaLevel.hh (class MetaLevel): added decl for upBool()10652 (upBool): added