Uses of Interface
net.sf.tweety.logics.commons.syntax.interfaces.TypedStructure
-
-
Uses of TypedStructure in net.sf.tweety.action.signature
Classes in net.sf.tweety.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 net.sf.tweety.logics.commons.syntax
Classes in net.sf.tweety.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 net.sf.tweety.logics.commons.syntax that return TypedStructure Modifier and Type Method 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 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 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 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.
-