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