de.uka.ilkd.key.rule

Class IfMatchResult

java.lang.Object

de.uka.ilkd.key.rule.IfMatchResult

public class IfMatchResult
extends java.lang.Object

Field Summary

Fields

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 Summary

Constructors

Constructor and Description
IfMatchResult(ImmutableList<IfFormulaInstantiation> p_candidates, ImmutableList<MatchConditions> p_mcCandidates) PRECONDITION: p_candidates.size () == p_mcCandidates.size ()

Method Summary

Modifier and Type	Method and Description
ImmutableList<IfFormulaInstantiation>	getFormulas()
ImmutableList<MatchConditions>	getMatchConditions()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

candidates

private ImmutableList<IfFormulaInstantiation> candidates

List of matching formulas and list of corresponding match conditions.

mcCandidates

private ImmutableList<MatchConditions> mcCandidates

Constructor Detail

IfMatchResult

public IfMatchResult(ImmutableList<IfFormulaInstantiation> p_candidates,
                     ImmutableList<MatchConditions> p_mcCandidates)

PRECONDITION: p_candidates.size () == p_mcCandidates.size ()

Method Detail

getFormulas

public ImmutableList<IfFormulaInstantiation> getFormulas()

getMatchConditions

public ImmutableList<MatchConditions> getMatchConditions()