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

Class SATResult

java.lang.Object

org.processmining.plugins.InductiveMiner.mining.cuts.IMc.SATResult

public class SATResult
extends java.lang.Object

Constructor Summary

Constructors

Constructor	Description
SATResult(java.util.Set<org.deckfour.xes.classification.XEventClass> sigma1, java.util.Set<org.deckfour.xes.classification.XEventClass> sigma2, double probability, Cut.Operator operator)
SATResult(SATResult copyFrom)

Method Summary

Modifier and Type	Method	Description
Cut	getCut()
double	getProbability()
java.lang.String	toString()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

SATResult

public SATResult(java.util.Set<org.deckfour.xes.classification.XEventClass> sigma1,
                 java.util.Set<org.deckfour.xes.classification.XEventClass> sigma2,
                 double probability,
                 Cut.Operator operator)

SATResult

public SATResult(SATResult copyFrom)

Method Detail

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

getCut

public Cut getCut()

getProbability

public double getProbability()