Example #1
0
bool isGroundHomotype(refObject leftType, refObject rightType)
{ if (leftType == rightType)
  { return true; }
  else
  { return
     isSubtype(plainLayer, leftType,  skolemLayer, rightType) &&
     isSubtype(plainLayer, rightType, skolemLayer, leftType); }}
Example #2
0
 inline bool       isEndOfFile() { return isEndOfClause() && isSubtype(CLAUSEEND_EOF); }
Example #3
0
 inline bool       isOperator(TokenSubclass t) { return isType(TOKEN_OPERATOR) && isSubtype(t); }