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

Packages that use Sort
Package	Description
net.sf.tweety.action.signature
net.sf.tweety.logics.commons.syntax
net.sf.tweety.logics.commons.syntax.interfaces
net.sf.tweety.logics.fol.syntax
net.sf.tweety.logics.pl.syntax

Uses of Sort in net.sf.tweety.action.signature

Constructor parameters in net.sf.tweety.action.signature with type arguments of type Sort
Constructor	Description
`FolActionName(java.lang.String name, java.util.List<Sort> arguments)`	Creates a new actionname predicate with the given name and a list of argument sorts, whose element count equals the arity of this predicate.
`FolFluentName(java.lang.String name, java.util.List<Sort> arguments)`	Creates a new fluentname predicate with the given name and a list of argument sorts, whose element count equals the arity of this predicate.

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	Description
`static Sort`	Sort.`ANY`	Default sort for terms of equality/inequality predicates.
`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	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	Description
`java.util.List<Sort>`	TypedStructureAdapter.`getArgumentTypes()`
`static java.util.Map<Sort,java.util.Set<Term<?>>>`	Sort.`sortTerms(java.util.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	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	Description
`Constant(java.lang.String name, Sort sort)`	Ctor: Creates a new Constant with the given name and sort
`Functor(java.lang.String name, java.util.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(java.lang.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(java.lang.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(java.lang.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	Description
`Functor(java.lang.String name, java.util.List<Sort> arguments, Sort targetSort)`	Initializes a functor with the given name, the given list of argument sorts, and the given target sort.
`Predicate(java.lang.String name, java.util.List<Sort> arguments)`	Initializes a predicate with the given name and the given list of argument sorts.
`TypedStructureAdapter(java.lang.String name, java.util.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	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	Description
`java.util.List<Sort>`	TypedStructure.`getArgumentTypes()`

Methods in net.sf.tweety.logics.commons.syntax.interfaces with parameters of type Sort
Modifier and Type	Method	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

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

Methods in net.sf.tweety.logics.fol.syntax that return Sort
Modifier and Type	Method	Description
`Sort`	FolSignature.`getSort(java.lang.String s)`	Get the sort with the given name.

Methods in net.sf.tweety.logics.fol.syntax that return types with arguments of type Sort
Modifier and Type	Method	Description
`java.util.Set<Sort>`	FolSignature.`getSorts()`	Returns the sorts of this first-order logic signature.

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

Methods in net.sf.tweety.logics.pl.syntax with parameters of type Sort
Modifier and Type Method Description

void PlPredicate.addArgumentType(Sort argType)