Modifier and Type | Class and Description |
---|---|
class |
AndOr |
class |
BinaryComparisonPredicate |
class |
ClassCall |
class |
ClassLiteral |
class |
ComparisonPredicate |
class |
EqualTo |
class |
Expression |
class |
Function<T> |
class |
FunctionPredicate
TBD
|
class |
HigherOrEqualTo |
class |
HigherThan |
class |
IsNull |
class |
IsTypeOf |
class |
Literal |
class |
LogicalPredicate |
class |
LowerOrEqualTo |
class |
LowerThan |
class |
Not |
class |
Predicate |
class |
PropertyCall |
class |
Quantification |
class |
Quantifier |
class |
RealLiteral |
class |
SchemaCall |
class |
StringLiteral |
class |
StringLiteralList |
class |
UnaryComparisonPredicate |
class |
Variable |
Modifier and Type | Field and Description |
---|---|
protected FolExpression |
FolConstraintImpl.folExpr |
Modifier and Type | Method and Description |
---|---|
FolExpression |
FolConstraintImpl.folExpression() |
FolExpression |
FolConstraint.folExpression() |
Modifier and Type | Method and Description |
---|---|
void |
FolConstraintImpl.setFolExpression(FolExpression folExpr) |
void |
FolConstraint.setFolExpression(FolExpression folExpr) |
Modifier and Type | Method and Description |
---|---|
protected FolExpression |
Sbvr2FolVisitor.aggregateResult(FolExpression aggregate,
FolExpression nextResult) |
FolExpression |
SbvrParsingResult.getFirstOrderLogicExpression() |
FolExpression |
Sbvr2FolParser.parse(FolConstraint con)
Parsed a first order logic expression from the given constraint.
|
FolExpression |
Sbvr2FolVisitor.visitSentence(de.interactive_instruments.antlr.sbvr.SBVRParser.SentenceContext ctx) |
Modifier and Type | Method and Description |
---|---|
protected FolExpression |
Sbvr2FolVisitor.aggregateResult(FolExpression aggregate,
FolExpression nextResult) |
void |
SbvrParsingResult.setFirstOrderLogicExpression(FolExpression folExpr) |
Modifier and Type | Method and Description |
---|---|
protected FolSchematronNode |
FOL2Schematron.translateConstraint(FolExpression folExpr,
FolSchematronNode enclosing)
This function recursively descends into an FolConstraint following the
FOL expression structure.
|
Copyright © 2017. All rights reserved.