Uses of Interface
net.sf.tweety.logics.commons.syntax.interfaces.TypedStructure

Packages that use TypedStructure

Package	Description
net.sf.tweety.action.signature
net.sf.tweety.logics.commons.syntax
net.sf.tweety.logics.commons.syntax.interfaces
net.sf.tweety.logics.fol.syntax
net.sf.tweety.logics.pl.syntax
net.sf.tweety.lp.asp.syntax

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

Classes in net.sf.tweety.action.signature that implement TypedStructure

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

Uses of TypedStructure in net.sf.tweety.logics.commons.syntax

Classes in net.sf.tweety.logics.commons.syntax that implement TypedStructure

Modifier and Type	Class and Description
class	Concept This class models concepts used in description logics
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	Role This class implements a role used in description logics Every role is an predicate consisting of two individuals
class	TypedStructureAdapter The abstract parent for predicates and functors implementing the TypedStructure interface.

Methods in net.sf.tweety.logics.commons.syntax that return TypedStructure

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

Uses of TypedStructure in net.sf.tweety.logics.commons.syntax.interfaces

Methods in net.sf.tweety.logics.commons.syntax.interfaces that return TypedStructure

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

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

Classes in net.sf.tweety.logics.fol.syntax that implement TypedStructure

Modifier and Type	Class and 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 net.sf.tweety.logics.pl.syntax

Classes in net.sf.tweety.logics.pl.syntax that implement TypedStructure

Modifier and Type	Class and Description
class	PropositionalPredicate 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 net.sf.tweety.lp.asp.syntax

Classes in net.sf.tweety.lp.asp.syntax that implement TypedStructure

Modifier and Type	Class and Description
class	DLPPredicate This class models a predicate with its name and arity.