Uses of Class
org.tweetyproject.logics.commons.syntax.Sort
Package
Description
-
Uses of Sort in org.tweetyproject.action.signature
ModifierConstructorDescriptionFolActionName
(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
Modifier and TypeFieldDescriptionstatic final Sort
Sort.ANY
Default sort for terms of equality/inequality predicates.static final Sort
Sort.THING
Default sort for unsorted first-order logicsModifier and TypeMethodDescriptionSort.clone()
TermAdapter.getSort()
Functor.getTargetSort()
Returns the sort of this functorTypedStructureAdapter.removeArgumentType
(int index) Modifier and TypeMethodDescriptionTypedStructureAdapter.getArgumentTypes()
Sort.sortTerms
(Collection<? extends Term<?>> terms) Sorts the set of given terms by their sorts, i.e.Modifier and TypeMethodDescriptionvoid
TypedStructureAdapter.addArgumentType
(Sort argType) boolean
TypedStructureAdapter.removeArgumentType
(Sort argType) ModifierConstructorDescriptionCtor: Creates a new Constant with the given name and sortInitializes 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.Copy-Ctor creates a deep copy of the SortStringTerm
(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 SortCtor: Creates a new Variable with the given name and sort.ModifierConstructorDescriptionInitializes a functor with the given name, the given list of argument sorts, and the given target sort.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
Modifier and TypeMethodDescriptionTerm.getSort()
TypedStructure.removeArgumentType
(int index) Removes the argument type at the specified indexModifier and TypeMethodDescriptionvoid
TypedStructure.addArgumentType
(Sort argType) Adds the given Sort as argument type to the typed Structureboolean
TypedStructure.removeArgumentType
(Sort argType) Removes the given Sort from the list of argument types -
Uses of Sort in org.tweetyproject.logics.fol.syntax
Modifier and TypeMethodDescriptionGet the sort with the given name. -
Uses of Sort in org.tweetyproject.logics.pl.syntax