Uses of Class
net.sf.tweety.logics.commons.syntax.Sort

Packages that use Sort

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

Uses of Sort in net.sf.tweety.logics.commons.syntax

Fields in net.sf.tweety.logics.commons.syntax declared as Sort

Modifier and Type	Field and Description
static Sort	Sort.THING Default sort for unsorted first-order logics

Methods in net.sf.tweety.logics.commons.syntax that return Sort

Modifier and Type	Method and Description
Sort	Sort.clone()
Sort	TermAdapter.getSort()
Sort	Functor.getTargetSort() Returns the sort of this functor
Sort	TypedStructureAdapter.removeArgumentType(int index)

Methods in net.sf.tweety.logics.commons.syntax that return types with arguments of type Sort

Modifier and Type	Method and Description
protected List<Sort>	TypedStructureAdapter.copyArgumentTypes()
List<Sort>	TypedStructureAdapter.getArgumentTypes()
static Map<Sort,Set<Term<?>>>	Sort.sortTerms(Collection<? extends Term<?>> terms) Sorts the set of given terms by their sorts, i.e.

Methods in net.sf.tweety.logics.commons.syntax with parameters of type Sort

Modifier and Type	Method and Description
void	TypedStructureAdapter.addArgumentType(Sort argType)
boolean	TypedStructureAdapter.removeArgumentType(Sort argType)

Constructors in net.sf.tweety.logics.commons.syntax with parameters of type Sort

Constructor and Description
Constant(String name, Sort sort) Ctor: Creates a new Constant with the given name and sort
Functor(String name, List<Sort> arguments, Sort targetSort) Initializes a functor with the given name, the given list of argument sorts, and the given target sort.
NumberTerm(int number, Sort sort) Ctor: Creates a new NumberTerm using the sort and the value given as parameter.
NumberTerm(String number, Sort sort) Ctor: Creates a new NumberTerm using the sort and the value given as parameter.
Sort(Sort other) Copy-Ctor creates a deep copy of the Sort
StringTerm(String value, Sort sort) Ctor: Create a string term with the given value and sort.
TermAdapter(T value, Sort sort) Ctor: Creates a TermAdapter with the given Sort
Variable(String name, Sort sort) Ctor: Creates a new Variable with the given name and sort.

Constructor parameters in net.sf.tweety.logics.commons.syntax with type arguments of type Sort

Constructor and Description
Functor(String name, List<Sort> arguments, Sort targetSort) Initializes a functor with the given name, the given list of argument sorts, and the given target sort.
Predicate(String name, List<Sort> arguments) Initializes a predicate with the given name and the given list of argument sorts.
TypedStructureAdapter(String name, List<Sort> arguments) Initializes a structure with the given name and the given list of argument sorts.

Uses of Sort in net.sf.tweety.logics.commons.syntax.interfaces

Methods in net.sf.tweety.logics.commons.syntax.interfaces that return Sort

Modifier and Type	Method and Description
Sort	Term.getSort()
Sort	TypedStructure.removeArgumentType(int index) Removes the argument type at the specified index

Methods in net.sf.tweety.logics.commons.syntax.interfaces that return types with arguments of type Sort

Modifier and Type	Method and Description
List<Sort>	TypedStructure.getArgumentTypes()

Methods in net.sf.tweety.logics.commons.syntax.interfaces with parameters of type Sort

Modifier and Type	Method and Description
void	TypedStructure.addArgumentType(Sort argType) Adds the given Sort as argument type to the typed Structure
boolean	TypedStructure.removeArgumentType(Sort argType) Removes the given Sort from the list of argument types