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 TypeMethodDescriptionvoidAtom.addArgument(Term<?> arg) Adds an argument to the atom's argument listvoidTypedStructure.addArgumentType(Sort argType) Adds the given Sort as argument type to the typed StructureTypedStructure.removeArgumentType(int index) Removes the argument type at the specified indexbooleanTypedStructure.removeArgumentType(Sort argType) Removes the given Sort from the list of argument typesvoidChanges the name of the Structure -
Uses of LanguageException in org.tweetyproject.logics.pl.error
Subclasses of LanguageException in org.tweetyproject.logics.pl.errorModifier and TypeClassDescriptionclassAn 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 TypeMethodDescriptionvoidASPAtom.addArgument(Term<?> arg) voidStrictNegation.addArgument(Term<?> arg) -
Uses of LanguageException in org.tweetyproject.lp.nlp.error
Subclasses of LanguageException in org.tweetyproject.lp.nlp.errorModifier and TypeClassDescriptionclassNestedLogicProramException 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 TypeMethodDescriptionvoidNLPRule.addPremise(FolFormula premise) voidNLPRule.setConclusion(FolFormula conclusion)