Modifier and Type | Method and Description |
---|---|
private Constant |
GroundingRequirementsParser.getConstant(java.lang.String name,
Sort sort)
Returns the constant with the name 'name' of the sort 'sort', if one
exists, null otherwise.
|
Constructor and Description |
---|
FolActionName(java.lang.String name,
java.util.List<Sort> arguments)
Creates a new actionname predicate with the given name and a list of
argument sorts, whose element count equals the arity of this predicate.
|
FolFluentName(java.lang.String name,
java.util.List<Sort> arguments)
Creates a new fluentname predicate with the given name and a list of
argument sorts, whose element count equals the arity of this predicate.
|
Modifier and Type | Field and Description |
---|---|
(package private) static Sort |
FolFormulaGenerator.sort
Constants needed for atom creation
|
Modifier and Type | Field and Description |
---|---|
static Sort |
Sort.ANY
Default sort for terms of equality/inequality predicates
|
private Sort |
TermAdapter.sort
the type of the term
|
private Sort |
Functor.targetSort
The sort of a functional term using this functor
|
static Sort |
Sort.THING
Default sort for unsorted first-order logics
|
Modifier and Type | Field and Description |
---|---|
private java.util.List<Sort> |
TypedStructureAdapter.arguments
This list constrains the possible arguments of this structure
to the given sorts.
|
Modifier and Type | Method and Description |
---|---|
Sort |
Sort.clone() |
Sort |
TermAdapter.getSort() |
Sort |
Functor.getTargetSort()
Returns the sort of this functor
|
Sort |
TypedStructureAdapter.removeArgumentType(int index) |
Modifier and Type | Method and Description |
---|---|
protected java.util.List<Sort> |
TypedStructureAdapter.copyArgumentTypes() |
java.util.List<Sort> |
TypedStructureAdapter.getArgumentTypes() |
static java.util.Map<Sort,java.util.Set<Term<?>>> |
Sort.sortTerms(java.util.Collection<? extends Term<?>> terms)
Sorts the set of given terms by their sorts, i.e.
|
Modifier and Type | Method and Description |
---|---|
void |
TypedStructureAdapter.addArgumentType(Sort argType) |
boolean |
TypedStructureAdapter.removeArgumentType(Sort argType) |
Constructor and Description |
---|
Constant(java.lang.String name,
Sort sort)
Ctor: Creates a new Constant with the given name and sort
|
Functor(java.lang.String name,
java.util.List<Sort> arguments,
Sort targetSort)
Initializes a functor with the given name, the given list
of argument sorts, and the given target sort.
|
NumberTerm(int number,
Sort sort)
Ctor: Creates a new NumberTerm using the sort and the value
given as parameter.
|
NumberTerm(java.lang.String number,
Sort sort)
Ctor: Creates a new NumberTerm using the sort and the value
given as parameter.
|
Sort(Sort other)
Copy-Ctor creates a deep copy of the Sort
|
StringTerm(java.lang.String value,
Sort sort)
Ctor: Create a string term with the given value and sort.
|
TermAdapter(T value,
Sort sort)
Ctor: Creates a TermAdapter with the given Sort
|
Variable(java.lang.String name,
Sort sort)
Ctor: Creates a new Variable with the given name and sort.
|
Constructor and Description |
---|
Functor(java.lang.String name,
java.util.List<Sort> arguments,
Sort targetSort)
Initializes a functor with the given name, the given list
of argument sorts, and the given target sort.
|
Predicate(java.lang.String name,
java.util.List<Sort> arguments)
Initializes a predicate with the given name and the given list
of argument sorts.
|
TypedStructureAdapter(java.lang.String name,
java.util.List<Sort> arguments)
Initializes a structure with the given name and the given list
of argument sorts.
|
Modifier and Type | Method and Description |
---|---|
Sort |
Term.getSort() |
Sort |
TypedStructure.removeArgumentType(int index)
Removes the argument type at the specified index
|
Modifier and Type | Method and Description |
---|---|
java.util.List<Sort> |
TypedStructure.getArgumentTypes() |
Modifier and Type | Method and Description |
---|---|
void |
TypedStructure.addArgumentType(Sort argType)
Adds the given Sort as argument type to the typed Structure
|
boolean |
TypedStructure.removeArgumentType(Sort argType)
Removes the given Sort from the list of argument types
|
Modifier and Type | Field and Description |
---|---|
private java.util.Set<Sort> |
FolSignature.sorts |
Modifier and Type | Method and Description |
---|---|
Sort |
FolSignature.getSort(java.lang.String s) |
Modifier and Type | Method and Description |
---|---|
java.util.Set<Sort> |
FolSignature.getSorts() |
Modifier and Type | Method and Description |
---|---|
void |
PropositionalPredicate.addArgumentType(Sort argType) |
Modifier and Type | Method and Description |
---|---|
void |
DLPPredicate.addArgumentType(Sort sort) |