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

Packages that use TypedStructureAdapter

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

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

Subclasses of TypedStructureAdapter in net.sf.tweety.action.signature

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

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

Subclasses of TypedStructureAdapter in net.sf.tweety.logics.commons.syntax

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

Methods in net.sf.tweety.logics.commons.syntax with parameters of type TypedStructureAdapter

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

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

Subclasses of TypedStructureAdapter in net.sf.tweety.logics.fol.syntax

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 TypedStructureAdapter in net.sf.tweety.logics.pl.syntax

Subclasses of TypedStructureAdapter in net.sf.tweety.logics.pl.syntax

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 TypedStructureAdapter in net.sf.tweety.lp.asp.syntax

Subclasses of TypedStructureAdapter in net.sf.tweety.lp.asp.syntax

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