SATSolveSingle.Var (InductiveMinerDeprecated)

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 Description

Var(int varInt)

Method Summary

All Methods Instance Methods Abstract Methods Concrete Methods
Modifier and Type	Method	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)