Package sync.pds.solver.nodes
Class SingleNode<Fact>
- java.lang.Object
-
- sync.pds.solver.nodes.SingleNode<Fact>
-
-
Constructor Summary
Constructors Constructor Description SingleNode(Fact fact)
-
-
-
Constructor Detail
-
SingleNode
public SingleNode(Fact fact)
-
-