Uses of Class
org.tweetyproject.logics.commons.error.LanguageException
-
-
Uses of LanguageException in org.tweetyproject.logics.commons.syntax.interfaces
Methods in org.tweetyproject.logics.commons.syntax.interfaces that throw LanguageException Modifier and Type Method Description voidAtom. 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 StructureSortTypedStructure. removeArgumentType(int index)Removes the argument type at the specified indexbooleanTypedStructure. removeArgumentType(Sort argType)Removes the given Sort from the list of argument typesvoidTypedStructure. setName(java.lang.String name)Changes the name of the Structure -
Uses of LanguageException in org.tweetyproject.logics.pl.error
Subclasses of LanguageException in org.tweetyproject.logics.pl.error Modifier and Type Class Description classPlExceptionAn 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 LanguageException Modifier and Type Method Description AtomTranslator. translateAtom(Atom source, java.lang.Class<?> atomCls)Translates the given source atom into an instance of atomCls and returns the translation.<C extends Predicate>
CTranslator. 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. -
Uses of LanguageException in org.tweetyproject.lp.asp.syntax
Methods in org.tweetyproject.lp.asp.syntax that throw LanguageException Modifier and Type Method Description voidASPAtom. addArgument(Term<?> arg)voidStrictNegation. addArgument(Term<?> arg) -
Uses of LanguageException in org.tweetyproject.lp.nlp.error
Subclasses of LanguageException in org.tweetyproject.lp.nlp.error Modifier and Type Class Description classNestedLogicProgramExceptionNestedLogicProramException 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 LanguageException Modifier and Type Method Description voidNLPRule. addPremise(FolFormula premise)voidNLPRule. setConclusion(FolFormula conclusion)
-