| java.lang.Object de.uka.ilkd.key.rule.IfMatchResult
IfMatchResult | public class IfMatchResult (Code) | | |
Constructor Summary | |
public | IfMatchResult(ListOfIfFormulaInstantiation p_candidates, ListOfMatchConditions p_mcCandidates) |
IfMatchResult | public IfMatchResult(ListOfIfFormulaInstantiation p_candidates, ListOfMatchConditions p_mcCandidates)(Code) | | PRECONDITION: p_candidates.size () == p_mcCandidates.size ()
|
getFormulas | public ListOfIfFormulaInstantiation getFormulas()(Code) | | |
getMatchConditions | public ListOfMatchConditions getMatchConditions()(Code) | | |
|
|