Uses of Class
net.sf.tweety.logics.commons.error.LanguageException
-
-
Uses of LanguageException in net.sf.tweety.logics.commons.syntax.interfaces
Methods in net.sf.tweety.logics.commons.syntax.interfaces that throw LanguageException Modifier and Type Method Description void
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 StructureSort
TypedStructure. 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
TypedStructure. setName(java.lang.String name)
Changes the name of the Structure -
Uses of LanguageException in net.sf.tweety.logics.pl.error
Subclasses of LanguageException in net.sf.tweety.logics.pl.error Modifier and Type Class Description class
PlException
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 net.sf.tweety.logics.translators
Methods in net.sf.tweety.logics.translators that throw LanguageException Modifier and Type Method Description 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>
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 net.sf.tweety.lp.asp.syntax
Methods in net.sf.tweety.lp.asp.syntax that throw LanguageException Modifier and Type Method Description void
ASPAtom. addArgument(Term<?> arg)
void
StrictNegation. addArgument(Term<?> arg)
-
Uses of LanguageException in net.sf.tweety.lp.nlp.error
Subclasses of LanguageException in net.sf.tweety.lp.nlp.error Modifier and Type Class Description class
NestedLogicProgramException
NestedLogicProramException encapsulates those LanugageException that occur in nested logic programs. -
Uses of LanguageException in net.sf.tweety.lp.nlp.syntax
Methods in net.sf.tweety.lp.nlp.syntax that throw LanguageException Modifier and Type Method Description void
NLPRule. addPremise(FolFormula premise)
void
NLPRule. setConclusion(FolFormula conclusion)
-