public class IfMatchResult
extends java.lang.Object
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() |
public IfMatchResult(ImmutableList<IfFormulaInstantiation> p_candidates, ImmutableList<MatchConditions> p_mcCandidates)
public ImmutableList<IfFormulaInstantiation> getFormulas()
public ImmutableList<MatchConditions> getMatchConditions()
Copyright © 2003-2019 The KeY-Project.