net.sf.tweety.commons.util.rules

Class DerivationGraph<F extends Formula,R extends Rule<F,F>>

java.lang.Object

net.sf.tweety.commons.util.Digraph<R>

net.sf.tweety.commons.util.rules.DerivationGraph<F,R>

Type Parameters:

F - a formula type

R - a rule type F^n -> F

All Implemented Interfaces:

java.lang.Iterable<DigraphNode<R>>

public class DerivationGraph<F extends Formula,R extends Rule<F,F>>
extends Digraph<R>

Author:

Nils Geilen expands a set of formulae to a graph where nodes are formulae and edges show, which forumla can be composed of which formulae

Constructor Summary

Constructors

Constructor and Description
DerivationGraph()

Method Summary

Modifier and Type	Method and Description
void	allDerivations(java.util.Collection<R> rules) expands the rule set
private boolean	containsNode(R value, java.util.List<DigraphNode<R>> parents)

Methods inherited from class net.sf.tweety.commons.util.Digraph

addNode, getLeafs, getRoots, getValues, iterator, numberOfEdges, numberOfNodes, printTree, printTrees

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface java.lang.Iterable

forEach, spliterator

Constructor Detail

DerivationGraph

public DerivationGraph()

Method Detail

allDerivations

public void allDerivations(java.util.Collection<R> rules)

expands the rule set

Parameters:

rules - a collection of rules

containsNode

private boolean containsNode(R value,
                             java.util.List<DigraphNode<R>> parents)