Uses of Class
org.tweetyproject.arg.delp.semantics.DialecticalTree.Mark
-
Packages that use DialecticalTree.Mark Package Description org.tweetyproject.arg.delp.semantics -
-
Uses of DialecticalTree.Mark in org.tweetyproject.arg.delp.semantics
Methods in org.tweetyproject.arg.delp.semantics that return DialecticalTree.Mark Modifier and Type Method Description DialecticalTree.Mark
DialecticalTree. getMarking()
Computes the marking of this node by considering the marking of all child nodesstatic DialecticalTree.Mark
DialecticalTree.Mark. valueOf(java.lang.String name)
Returns the enum constant of this type with the specified name.static DialecticalTree.Mark[]
DialecticalTree.Mark. values()
Returns an array containing the constants of this enum type, in the order they are declared.
-