| Class and Description |
|---|
| PredicateImpl |
| Class and Description |
|---|
| PredicateImpl |
| Class and Description |
|---|
| PredicateImpl |
| Class and Description |
|---|
| AbstractNonFunctionalTerm |
| AbstractNonNullConstant |
| ImmutableExpressionImpl |
| ImmutableFunctionalTermImpl
Immutable implementation
|
Copyright © 2009–2020 Free University of Bozen-Bolzano. All rights reserved.