| Modifier and Type | Method and Description |
|---|---|
OrderByNode.OrderComparator |
IntermediateQueryFactory.createOrderComparator(NonGroundTerm term,
boolean isAscending) |
| Modifier and Type | Method and Description |
|---|---|
NonGroundTerm |
OrderByNode.OrderComparator.getTerm() |
| Modifier and Type | Method and Description |
|---|---|
NonGroundTerm |
OrderComparatorImpl.getTerm() |
| Modifier and Type | Method and Description |
|---|---|
protected NonGroundTerm |
NotYetTypedEqualityTransformerImpl.ExpressionTransformer.transformNonGroundTerm(NonGroundTerm term,
IQTree tree) |
| Modifier and Type | Method and Description |
|---|---|
protected NonGroundTerm |
NotYetTypedEqualityTransformerImpl.ExpressionTransformer.transformNonGroundTerm(NonGroundTerm term,
IQTree tree) |
| Modifier and Type | Interface and Description |
|---|---|
interface |
NonGroundFunctionalTerm
Immutable functional term is not a ground term
|
interface |
Variable
This class defines a type of
ImmutableTerm in which it expresses a quantity
that during a calculation is assumed to vary or be capable of varying in
value. |
| Modifier and Type | Class and Description |
|---|---|
class |
NonGroundExpressionImpl |
class |
NonGroundFunctionalTermImpl
Constraint: should contain at least one variable
|
class |
VariableImpl |
| Modifier and Type | Method and Description |
|---|---|
NonGroundTerm |
Var2VarSubstitution.applyToNonGroundTerm(NonGroundTerm term) |
| Modifier and Type | Method and Description |
|---|---|
NonGroundTerm |
Var2VarSubstitution.applyToNonGroundTerm(NonGroundTerm term) |
| Modifier and Type | Method and Description |
|---|---|
NonGroundTerm |
Var2VarSubstitutionImpl.applyToNonGroundTerm(NonGroundTerm term) |
| Modifier and Type | Method and Description |
|---|---|
NonGroundTerm |
Var2VarSubstitutionImpl.applyToNonGroundTerm(NonGroundTerm term) |
Copyright © 2009–2021 Free University of Bozen-Bolzano. All rights reserved.