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

Class SATSolveSingle.Var

java.lang.Object

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

Direct Known Subclasses:

SATSolveSingle.Edge, SATSolveSingle.Node

Enclosing class:

SATSolveSingle

protected abstract static class SATSolveSingle.Var
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
Var(int varInt)

Method Summary

Modifier and Type	Method and Description
int	getVarInt()
boolean	isResult()
void	setResult(boolean result)
abstract java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

Var

public Var(int varInt)

Method Detail

getVarInt

public int getVarInt()

toString

public abstract java.lang.String toString()

Overrides:

toString in class java.lang.Object

isResult

public boolean isResult()

setResult

public void setResult(boolean result)