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 -
-
Uses of TypedStructureAdapter in net.sf.tweety.action.signature
Subclasses of TypedStructureAdapter in net.sf.tweety.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 net.sf.tweety.logics.commons.syntax
Subclasses of TypedStructureAdapter in net.sf.tweety.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 net.sf.tweety.logics.commons.syntax with parameters of type TypedStructureAdapter Modifier and Type Method 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 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 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.
-