Package org.processmining.plugins.InductiveMiner.mining.cuts.IMc.solve.single

Class SATSolveSingleSequence

java.lang.Object

org.processmining.plugins.InductiveMiner.mining.cuts.IMc.solve.single.SATSolveSingle

org.processmining.plugins.InductiveMiner.mining.cuts.IMc.solve.single.SATSolveSingleSequence

public class SATSolveSingleSequence
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
SATSolveSingleSequence(CutFinderIMinInfo info)

Method Summary

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

SATSolveSingleSequence

public SATSolveSingleSequence(CutFinderIMinInfo info)

Method Detail

solveSingle

public SATResult solveSingle(int cutSize,
                             double bestAverageTillNow)

Specified by:

solveSingle in class SATSolveSingle