private static final class OneStepSimplifier.Instantiation
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
private SequentFormula |
cf |
private ImmutableList<PosInOccurrence> |
ifInsts |
private int |
numAppliedRules |
Constructor and Description |
---|
Instantiation(SequentFormula cf,
int numAppliedRules,
ImmutableList<PosInOccurrence> ifInsts) |
Modifier and Type | Method and Description |
---|---|
SequentFormula |
getCf() |
ImmutableList<PosInOccurrence> |
getIfInsts() |
int |
getNumAppliedRules() |
java.lang.String |
toString() |
private final SequentFormula cf
private final int numAppliedRules
private final ImmutableList<PosInOccurrence> ifInsts
public Instantiation(SequentFormula cf, int numAppliedRules, ImmutableList<PosInOccurrence> ifInsts)
public SequentFormula getCf()
public int getNumAppliedRules()
public ImmutableList<PosInOccurrence> getIfInsts()
public java.lang.String toString()
toString
in class java.lang.Object