F - a formula typeR - a rule type F^n -> Fpublic class DerivationGraph<F extends Formula,R extends Rule<F,F>> extends Digraph<R>
| Constructor and Description |
|---|
DerivationGraph() |
| Modifier and Type | Method and Description |
|---|---|
void |
allDerivations(Collection<R> rules)
expands the rule set
|
addNode, getLeafs, getRoots, getValues, iterator, numberOfEdges, numberOfNodes, printTree, printTreesclone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, waitforEach, spliteratorpublic void allDerivations(Collection<R> rules)
rules - a collection of rulesCopyright © 2018. All rights reserved.