Uses of Class
org.tweetyproject.logics.commons.syntax.Sort

Packages that use Sort

Package	Description
org.tweetyproject.action.signature
org.tweetyproject.logics.commons.syntax
org.tweetyproject.logics.commons.syntax.interfaces
org.tweetyproject.logics.fol.syntax
org.tweetyproject.logics.pl.syntax

Uses of Sort in org.tweetyproject.action.signature

Constructor parameters in org.tweetyproject.action.signature with type arguments of type Sort

Modifier	Constructor	Description
	FolActionName(String name, 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(String name, 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 org.tweetyproject.logics.commons.syntax

Fields in org.tweetyproject.logics.commons.syntax declared as Sort

Modifier and Type	Field	Description
static final Sort	Sort.ANY	Default sort for terms of equality/inequality predicates.
static final Sort	Sort.THING	Default sort for unsorted first-order logics

Methods in org.tweetyproject.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 org.tweetyproject.logics.commons.syntax that return types with arguments of type Sort

Modifier and Type	Method	Description
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 org.tweetyproject.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 org.tweetyproject.logics.commons.syntax with parameters of type Sort

Modifier	Constructor	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 org.tweetyproject.logics.commons.syntax with type arguments of type Sort

Modifier	Constructor	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 org.tweetyproject.logics.commons.syntax.interfaces

Methods in org.tweetyproject.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 org.tweetyproject.logics.commons.syntax.interfaces that return types with arguments of type Sort

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

Methods in org.tweetyproject.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 org.tweetyproject.logics.fol.syntax

Methods in org.tweetyproject.logics.fol.syntax that return Sort

Modifier and Type	Method	Description
Sort	FolSignature.getSort(String s)	Get the sort with the given name.

Methods in org.tweetyproject.logics.fol.syntax that return types with arguments of type Sort

Modifier and Type	Method	Description
Set<Sort>	FolSignature.getSorts()	Returns the sorts of this first-order logic signature.

Uses of Sort in org.tweetyproject.logics.pl.syntax

Methods in org.tweetyproject.logics.pl.syntax with parameters of type Sort

Modifier and Type	Method	Description
void	PlPredicate.addArgumentType(Sort argType)