public class IfInstantiator
extends java.lang.Object
Modifier and Type | Method and Description |
---|---|
void |
findIfFormulaInstantiations()
Find all possible instantiations of the if sequent formulas within the
sequent "p_seq".
|
ImmutableList<NoPosTacletApp> |
getResults() |
public void findIfFormulaInstantiations()
public ImmutableList<NoPosTacletApp> getResults()
Copyright © 2003-2019 The KeY-Project.