Uses of Class
net.sf.tweety.logics.commons.error.LanguageException

Packages that use LanguageException

Package	Description
net.sf.tweety.logics.commons.syntax.interfaces
net.sf.tweety.logics.pl.error
net.sf.tweety.logics.translators
net.sf.tweety.lp.asp.syntax
net.sf.tweety.lp.nlp.error
net.sf.tweety.lp.nlp.syntax

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 and Description
void	Atom.addArgument(Term<?> arg) Adds an argument to the atom's argument list
void	TypedStructure.addArgumentType(Sort argType) Adds the given Sort as argument type to the typed Structure
Sort	TypedStructure.removeArgumentType(int index) Removes the argument type at the specified index
boolean	TypedStructure.removeArgumentType(Sort argType) Removes the given Sort from the list of argument types
void	TypedStructure.setArity(int arity) Sets the arity of this structure
void	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 and Description
class	PropositionalException 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 and Description
protected static <T> T	Translator.createInstance(java.lang.Class<T> cls)
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> C	Translator.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 and Description
void	DLPNeg.addArgument(Term<?> arg)
void	DLPAtom.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 and 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 and Description
void	NLPRule.addPremise(FolFormula premise)
private void	NLPRule.checkFormula(FolFormula formula) Helper methods checks if the given FOL formula is supported by the nested logic program language, that means it checks if it contains quantifiers and if that is the case it throws a LanguageException
void	NLPRule.setConclusion(FolFormula conclusion)