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

Packages that use LanguageException

Package	Description
net.sf.tweety.logics.commons.syntax.interfaces

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(String name) Changes the name of the Structure