Uses of Interface
org.tweetyproject.logics.commons.syntax.interfaces.TypedStructure

Packages that use TypedStructure

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
org.tweetyproject.lp.asp.syntax

Uses of TypedStructure in org.tweetyproject.action.signature

Classes in org.tweetyproject.action.signature that implement TypedStructure

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

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

Classes in org.tweetyproject.logics.commons.syntax that implement TypedStructure

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.
class	TypedStructureAdapter	The abstract parent for predicates and functors implementing the TypedStructure interface.

Methods in org.tweetyproject.logics.commons.syntax that return TypedStructure

Modifier and Type	Method	Description
abstract TypedStructure	TypedStructureAdapter.clone()

Uses of TypedStructure in org.tweetyproject.logics.commons.syntax.interfaces

Methods in org.tweetyproject.logics.commons.syntax.interfaces that return TypedStructure

Modifier and Type	Method	Description
TypedStructure	TypedStructure.clone()	Creates a deep copy of this object

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

Classes in org.tweetyproject.logics.fol.syntax that implement TypedStructure

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 TypedStructure in org.tweetyproject.logics.pl.syntax

Classes in org.tweetyproject.logics.pl.syntax that implement TypedStructure

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 TypedStructure in org.tweetyproject.lp.asp.syntax

Classes in org.tweetyproject.lp.asp.syntax that implement TypedStructure

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.