SATSolveSingle.Node (InductiveMinerDeprecated)

java.lang.Object
- org.processmining.plugins.InductiveMiner.mining.cuts.IMc.solve.single.SATSolveSingle.Var
- - org.processmining.plugins.InductiveMiner.mining.cuts.IMc.solve.single.SATSolveSingle.Node

Enclosing class:: SATSolveSingle

protected static class SATSolveSingle.Node
extends SATSolveSingle.Var

- Constructor Summary
  
  Constructors
  Constructor Description
  
  Node(int varInt, org.deckfour.xes.classification.XEventClass activity)
- Method Summary
  
  All Methods Instance Methods Concrete Methods
  Modifier and Type Method Description
  
  org.deckfour.xes.classification.XEventClass getActivity()
  
  java.lang.String toString()
  - Methods inherited from class org.processmining.plugins.InductiveMiner.mining.cuts.IMc.solve.single.SATSolveSingle.Var
    getVarInt, isResult, setResult
  - Methods inherited from class java.lang.Object
    clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

Node

public Node(int varInt,
            org.deckfour.xes.classification.XEventClass activity)

Method Detail

getActivity

public org.deckfour.xes.classification.XEventClass getActivity()

toString
```
public java.lang.String toString()
```
Specified by:

toString in class SATSolveSingle.Var