public class SearchNode
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
MatchConditions |
mc |
Constructor and Description |
---|
SearchNode(SearchNode parent,
MatchConditions cond) |
SearchNode(SequentFormula[] pattern,
int succAntPos,
ImmutableList<IfFormulaInstantiation> antec,
ImmutableList<IfFormulaInstantiation> succ) |
Modifier and Type | Method and Description |
---|---|
Term |
getPatternTerm() |
boolean |
isAntecedent() |
boolean |
isFinished() |
public MatchConditions mc
public SearchNode(SequentFormula[] pattern, int succAntPos, ImmutableList<IfFormulaInstantiation> antec, ImmutableList<IfFormulaInstantiation> succ)
public SearchNode(SearchNode parent, MatchConditions cond)
public boolean isAntecedent()
public Term getPatternTerm()
public boolean isFinished()
Copyright © 2003-2019 The KeY-Project.