Uses of Class
org.tweetyproject.logics.commons.error.LanguageException
Package
Description
-
Uses of LanguageException in org.tweetyproject.logics.commons.syntax.interfaces
Modifier and TypeMethodDescriptionvoid
Atom.addArgument
(Term<?> arg) Adds an argument to the atom's argument listvoid
TypedStructure.addArgumentType
(Sort argType) Adds the given Sort as argument type to the typed StructureTypedStructure.removeArgumentType
(int index) Removes the argument type at the specified indexboolean
TypedStructure.removeArgumentType
(Sort argType) Removes the given Sort from the list of argument typesvoid
Changes the name of the Structure -
Uses of LanguageException in org.tweetyproject.logics.pl.error
Modifier and TypeClassDescriptionclass
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. -
Uses of LanguageException in org.tweetyproject.logics.translators
Modifier and TypeMethodDescriptionTranslator.translateAtom
(Atom source, Class<?> atomCls) Translates the given source atom into an instance of the target atom class.<C extends Predicate>
CTranslator.translatePredicate
(Predicate source, Class<C> predicateCls) Translates the given source predicate into an instance of the given predicate class. -
Uses of LanguageException in org.tweetyproject.lp.asp.syntax
Modifier and TypeMethodDescriptionvoid
ASPAtom.addArgument
(Term<?> arg) void
StrictNegation.addArgument
(Term<?> arg) -
Uses of LanguageException in org.tweetyproject.lp.nlp.error
Modifier and TypeClassDescriptionclass
NestedLogicProramException encapsulates those LanugageException that occur in nested logic programs. -
Uses of LanguageException in org.tweetyproject.lp.nlp.syntax
Modifier and TypeMethodDescriptionvoid
NLPRule.addPremise
(FolFormula premise) void
NLPRule.setConclusion
(FolFormula conclusion)