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

Packages that use Sort

Package	Description
net.sf.tweety.action.grounding.parser
net.sf.tweety.action.signature
net.sf.tweety.arg.aspic.ruleformulagenerator
net.sf.tweety.logics.commons.syntax
net.sf.tweety.logics.commons.syntax.interfaces
net.sf.tweety.logics.fol.parser
net.sf.tweety.logics.fol.syntax
net.sf.tweety.logics.pl.syntax
net.sf.tweety.lp.asp.syntax

Uses of Sort in net.sf.tweety.action.grounding.parser

Methods in net.sf.tweety.action.grounding.parser with parameters of type Sort

Modifier and Type	Method and Description
private Constant	GroundingRequirementsParser.getConstant(java.lang.String name, Sort sort) Returns the constant with the name 'name' of the sort 'sort', if one exists, null otherwise.

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

Constructor parameters in net.sf.tweety.action.signature with type arguments of type Sort

Constructor and 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.arg.aspic.ruleformulagenerator

Fields in net.sf.tweety.arg.aspic.ruleformulagenerator declared as Sort

Modifier and Type	Field and Description
(package private) static Sort	FolFormulaGenerator.sort Constants needed for atom creation

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
private Sort	TermAdapter.sort the type of the term
private Sort	Functor.targetSort The sort of a functional term using this functor
static Sort	Sort.THING Default sort for unsorted first-order logics

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

Modifier and Type	Field and Description
private java.util.List<Sort>	TypedStructureAdapter.arguments This list constrains the possible arguments of this structure to the given sorts.

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 java.util.List<Sort>	TypedStructureAdapter.copyArgumentTypes()
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 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(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 and 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 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
java.util.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

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

Methods in net.sf.tweety.logics.fol.parser that return Sort

Modifier and Type	Method and Description
private Sort	FolParserB.getArgumentType(TypedStructure fbs, int count)

Methods in net.sf.tweety.logics.fol.parser that return types with arguments of type Sort

Modifier and Type	Method and Description
private java.util.List<Sort>	FolParserB.getSorts(FolSignature sig, java.util.List<java.lang.String> names)
java.util.List<Sort>	FolParserB.sortdecl()

Methods in net.sf.tweety.logics.fol.parser with parameters of type Sort

Modifier and Type	Method and Description
java.util.Set<Constant>	FolParserB.constants(Sort type)
private Constant	FolParserB.getOrCreateConstant(java.lang.String name, Sort type, FolSignature sig)
private Functor	FolParserB.getOrCreateFunctor(java.lang.String name, java.util.List<Term<?>> args, Sort targetSort, FolSignature signature)
Term<?>	FolParserB.term(FolSignature signature, Sort type)

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

Fields in net.sf.tweety.logics.fol.syntax with type parameters of type Sort

Modifier and Type	Field and Description
private java.util.Set<Sort>	FolSignature.sorts

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

Modifier and Type	Method and Description
Sort	FolSignature.getSort(java.lang.String s)

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

Modifier and Type	Method and Description
java.util.Set<Sort>	FolSignature.getSorts()

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 and Description
void	PropositionalPredicate.addArgumentType(Sort argType)

Uses of Sort in net.sf.tweety.lp.asp.syntax

Methods in net.sf.tweety.lp.asp.syntax with parameters of type Sort

Modifier and Type	Method and Description
void	DLPPredicate.addArgumentType(Sort sort)