public class IfMatchResult
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
private ImmutableList<IfFormulaInstantiation> |
candidates
List of matching formulas and list of corresponding match
conditions.
|
private ImmutableList<MatchConditions> |
mcCandidates |
Constructor and Description |
---|
IfMatchResult(ImmutableList<IfFormulaInstantiation> p_candidates,
ImmutableList<MatchConditions> p_mcCandidates)
PRECONDITION: p_candidates.size () == p_mcCandidates.size ()
|
Modifier and Type | Method and Description |
---|---|
ImmutableList<IfFormulaInstantiation> |
getFormulas() |
ImmutableList<MatchConditions> |
getMatchConditions() |
private ImmutableList<IfFormulaInstantiation> candidates
private ImmutableList<MatchConditions> mcCandidates
public IfMatchResult(ImmutableList<IfFormulaInstantiation> p_candidates, ImmutableList<MatchConditions> p_mcCandidates)
public ImmutableList<IfFormulaInstantiation> getFormulas()
public ImmutableList<MatchConditions> getMatchConditions()