| Class and Description |
|---|
| PredicateImpl |
| Class and Description |
|---|
| PredicateImpl |
| Class and Description |
|---|
| PredicateImpl |
| Class and Description |
|---|
| PredicateImpl |
| Class and Description |
|---|
| AbstractFunctionalTerm
Abstract implementation that can reasonably be shared because
an immutable and a crazy implementation.
|
| AbstractNonFunctionalTerm |
| AbstractNonNullConstant |
| FunctionalTermImpl
TODO: rename ListenableFunctionImpl
Please consider using ImmutableFunctionalTermImpl instead.
|
| GroundTermTools.NonGroundTermException |
| ImmutableExpressionImpl |
| ImmutableFunctionalTermImpl
Immutable implementation
|
Copyright © 2009–2020 Free University of Bozen-Bolzano. All rights reserved.