SATSolveSingleXor (InductiveMinerDeprecated)

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

public class SATSolveSingleXor
extends SATSolveSingle

- Nested Class Summary
  - Nested classes/interfaces inherited from class org.processmining.plugins.InductiveMiner.mining.cuts.IMc.solve.single.SATSolveSingle
    SATSolveSingle.Edge, SATSolveSingle.Node, SATSolveSingle.Var
- Field Summary
  - Fields inherited from class org.processmining.plugins.InductiveMiner.mining.cuts.IMc.solve.single.SATSolveSingle
    countNodes, info, node2var, nodes, solver, varInt2var
- Constructor Summary
  
  Constructors
  Constructor Description
  
  SATSolveSingleXor(CutFinderIMinInfo info)
- Method Summary
  
  All Methods Instance Methods Concrete Methods
  Modifier and Type Method Description
  
  SATResult solveSingle(int cutSize, double bestAverageTillNow)
  - Methods inherited from class org.processmining.plugins.InductiveMiner.mining.cuts.IMc.solve.single.SATSolveSingle
    addClause, compute, debug, newEdgeVar, newNodeVar
  - Methods inherited from class java.lang.Object
    clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

SATSolveSingleXor

public SATSolveSingleXor(CutFinderIMinInfo info)

Method Detail

solveSingle

public SATResult solveSingle(int cutSize,
                             double bestAverageTillNow)

Specified by:: solveSingle in class SATSolveSingle