| Package | Description |
|---|---|
| it.unibz.inf.ontop.exception | |
| it.unibz.inf.ontop.model.term | |
| it.unibz.inf.ontop.model.term.impl |
| Constructor and Description |
|---|
FatalTypingException(Expression expression,
FatalTypingException caughtException)
Incompatibility detected in an expression
|
| Modifier and Type | Method and Description |
|---|---|
Expression |
Expression.clone() |
Expression |
TermFactory.getExpression(BooleanFunctionSymbol functor,
List<Term> arguments) |
Expression |
TermFactory.getExpression(BooleanFunctionSymbol functor,
Term... arguments) |
| Modifier and Type | Method and Description |
|---|---|
ImmutableExpression |
TermFactory.getImmutableExpression(Expression expression) |
| Modifier and Type | Class and Description |
|---|---|
class |
ExpressionImpl |
| Modifier and Type | Method and Description |
|---|---|
Expression |
ExpressionImpl.clone() |
Expression |
ImmutabilityTools.convertToMutableBooleanExpression(ImmutableExpression booleanExpression)
This method takes a immutable boolean term and convert it into an old mutable boolean function.
|
Expression |
TermFactoryImpl.getExpression(BooleanFunctionSymbol functor,
List<Term> arguments) |
Expression |
TermFactoryImpl.getExpression(BooleanFunctionSymbol functor,
Term... arguments) |
| Modifier and Type | Method and Description |
|---|---|
ImmutableExpression |
TermFactoryImpl.getImmutableExpression(Expression expression) |
Copyright © 2009–2020 Free University of Bozen-Bolzano. All rights reserved.