public class MatchAlgorithm extends Object
Constructor and Description |
---|
MatchAlgorithm(MatchSystem system) |
Modifier and Type | Method and Description |
---|---|
MatchSystem |
getInitialSystem() |
Set<Substitution> |
getResult() |
Set<Substitution> |
match(DebugLevel debugLevel,
PrintStream debugOut,
PrintStream debugErr,
boolean justify) |
public MatchAlgorithm(MatchSystem system)
public MatchSystem getInitialSystem()
public Set<Substitution> getResult()
public Set<Substitution> match(DebugLevel debugLevel, PrintStream debugOut, PrintStream debugErr, boolean justify)