Uses of Class
org.tweetyproject.logics.commons.error.LanguageException
Packages that use LanguageException
Package
Description
-
Uses of LanguageException in org.tweetyproject.logics.commons.syntax.interfaces
Methods in org.tweetyproject.logics.commons.syntax.interfaces that throw LanguageExceptionModifier 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
Subclasses of LanguageException in org.tweetyproject.logics.pl.errorModifier 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
Methods in org.tweetyproject.logics.translators that throw LanguageExceptionModifier and TypeMethodDescriptionTranslator.translateAtom
(Atom source, Class<?> atomCls) Translates the given source atom into an instance of atomCls and returns the translation.<C extends Predicate>
CTranslator.translatePredicate
(Predicate source, Class<C> predicateCls) Translates the given source predicate into an instance of the given predicate class and returns the translation. -
Uses of LanguageException in org.tweetyproject.lp.asp.syntax
Methods in org.tweetyproject.lp.asp.syntax that throw LanguageExceptionModifier and TypeMethodDescriptionvoid
ASPAtom.addArgument
(Term<?> arg) void
StrictNegation.addArgument
(Term<?> arg) -
Uses of LanguageException in org.tweetyproject.lp.nlp.error
Subclasses of LanguageException in org.tweetyproject.lp.nlp.errorModifier and TypeClassDescriptionclass
NestedLogicProramException encapsulates those LanugageException that occur in nested logic programs. -
Uses of LanguageException in org.tweetyproject.lp.nlp.syntax
Methods in org.tweetyproject.lp.nlp.syntax that throw LanguageExceptionModifier and TypeMethodDescriptionvoid
NLPRule.addPremise
(FolFormula premise) void
NLPRule.setConclusion
(FolFormula conclusion)