Class and Description |
---|
FolExpression |
Class and Description |
---|
EqualTo |
Expression |
FolExpression |
HigherOrEqualTo |
HigherThan |
LowerOrEqualTo |
LowerThan |
Not |
Predicate |
Quantification |
Quantifier |
RealLiteral |
SchemaCall |
Class and Description |
---|
FolExpression |
Literal |
PropertyCall |
Quantification |
Variable |
Copyright © 2017. All rights reserved.