Modifier and Type | Method and Description |
---|---|
void |
Atom.addArgument(Term<?> arg)
Adds an argument to the atom's argument list
|
void |
TypedStructure.addArgumentType(Sort argType)
Adds the given Sort as argument type to the typed Structure
|
Sort |
TypedStructure.removeArgumentType(int index)
Removes the argument type at the specified index
|
boolean |
TypedStructure.removeArgumentType(Sort argType)
Removes the given Sort from the list of argument types
|
void |
TypedStructure.setArity(int arity)
Sets the arity of this structure
|
void |
TypedStructure.setName(java.lang.String name)
Changes the name of the Structure
|
Modifier and Type | Class and Description |
---|---|
class |
PropositionalException
An Exception for the propositional language, it is thrown if a developer
tries to create illegal propositional statements like a predicate with an
arity greater than zero.
|
Modifier and Type | Method and Description |
---|---|
protected static <T> T |
Translator.createInstance(java.lang.Class<T> cls) |
Atom |
Translator.translateAtom(Atom source,
java.lang.Class<?> atomCls)
Translates the given source atom into an instance of atomCls and returns the
translation.
|
<C extends Predicate> |
Translator.translatePredicate(Predicate source,
java.lang.Class<C> predicateCls)
Translates the given source predicate into an instance of the given predicate
class and returns the translation.
|
Modifier and Type | Method and Description |
---|---|
void |
DLPAtom.addArgument(Term<?> arg) |
void |
DLPNeg.addArgument(Term<?> arg) |
Modifier and Type | Class and Description |
---|---|
class |
NestedLogicProgramException
NestedLogicProramException encapsulates those LanugageException that occur
in nested logic programs.
|
Modifier and Type | Method and Description |
---|---|
void |
NLPRule.addPremise(FolFormula premise) |
private void |
NLPRule.checkFormula(FolFormula formula)
Helper methods checks if the given FOL formula is supported by the nested logic
program language, that means it checks if it contains quantifiers and if that
is the case it throws a LanguageException
|
void |
NLPRule.setConclusion(FolFormula conclusion) |