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

Packages that use TypedStructureAdapter

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

Uses of TypedStructureAdapter in org.tweetyproject.action.signature

Subclasses of TypedStructureAdapter in org.tweetyproject.action.signature

Modifier and Type	Class	Description
class	FolActionName	This class represents an action name.
class	FolFluentName	This class represents a fluent name.

Uses of TypedStructureAdapter in org.tweetyproject.logics.commons.syntax

Subclasses of TypedStructureAdapter in org.tweetyproject.logics.commons.syntax

Modifier and Type	Class	Description
class	Functor	A functor for logic language, i.e.
class	Predicate	A general predicate which contains an identifier that describes its meaning, an argument count referred as arity and a list of sorts defining the types for the arguments of the predicate.

Methods in org.tweetyproject.logics.commons.syntax with parameters of type TypedStructureAdapter

Modifier and Type	Method	Description
int	TypedStructureAdapter.compareTo(TypedStructureAdapter o)

Uses of TypedStructureAdapter in org.tweetyproject.logics.fol.syntax

Subclasses of TypedStructureAdapter in org.tweetyproject.logics.fol.syntax

Modifier and Type	Class	Description
class	EqualityPredicate	This class models an equality predicate, meaning a predicate of arity 2 that maps to the identity relation.
class	InequalityPredicate	This class models an inequality predicate, meaning a predicate of arity 2 that maps to the complement of the identity relation.

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

Subclasses of TypedStructureAdapter in org.tweetyproject.logics.pl.syntax

Modifier and Type	Class	Description
class	PlPredicate	A specialized predicate for propositional logic that only allows an identifier but has no arguments and therefore has an arity of zero.

Uses of TypedStructureAdapter in org.tweetyproject.lp.asp.syntax

Subclasses of TypedStructureAdapter in org.tweetyproject.lp.asp.syntax

Modifier and Type	Class	Description
static class	ASPOperator.ClingoPredicate	Additional special predicates of the clingo syntax that have no direct representation in the DLV or ASP-Core-2 format.
static class	ASPOperator.DLVPredicate	Additional special predicates of the DLV syntax that have no direct representation in the Clingo or ASP-Core-2 format.