| Package | Description |
|---|---|
| it.unibz.inf.ontop.model.term | |
| it.unibz.inf.ontop.model.term.impl |
| Modifier and Type | Interface and Description |
|---|---|
interface |
GroundFunctionalTerm
Immutable ground functional term.
|
interface |
ImmutableExpression |
interface |
ImmutableFunctionalTerm
Functional term that is declared as immutable.
|
interface |
NonGroundFunctionalTerm
Immutable functional term is not a ground term
|
interface |
NonGroundTerm
Immutable terms that are NOT ground terms.
|
interface |
Variable
This class defines a type of
Term 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 |
GroundExpressionImpl |
class |
GroundFunctionalTermImpl |
class |
ImmutableExpressionImpl |
class |
ImmutableFunctionalTermImpl
Immutable implementation
|
class |
NonGroundExpressionImpl |
class |
NonGroundFunctionalTermImpl
Constraint: should contain at least one variable
|
class |
VariableImpl |
Copyright © 2009–2020 Free University of Bozen-Bolzano. All rights reserved.