Uses of Class
net.sf.tweety.commons.QuadrupleSetSignature
-
Packages that use QuadrupleSetSignature Package Description net.sf.tweety.action.signature net.sf.tweety.commons net.sf.tweety.logics.fol.syntax -
-
Uses of QuadrupleSetSignature in net.sf.tweety.action.signature
Subclasses of QuadrupleSetSignature in net.sf.tweety.action.signature Modifier and Type Class Description class
ActionSignature
This class represents an action signature consisting of a set of fluent names and a set of action names. -
Uses of QuadrupleSetSignature in net.sf.tweety.commons
Methods in net.sf.tweety.commons that return QuadrupleSetSignature Modifier and Type Method Description abstract QuadrupleSetSignature<T,S,U,R>
QuadrupleSetSignature. clone()
-
Uses of QuadrupleSetSignature in net.sf.tweety.logics.fol.syntax
Subclasses of QuadrupleSetSignature in net.sf.tweety.logics.fol.syntax Modifier and Type Class Description class
FolSignature
This class captures the signature of a specific first-order language.
-