Uses of Class
org.dllearner.algorithms.refinement.Node

Packages that use Node

org.dllearner.algorithms.refinement

Refinement Operator Approach.

Uses of Node in org.dllearner.algorithms.refinement

Methods in org.dllearner.algorithms.refinement that return Node

Node	ROLearner.getStartNode()

Methods in org.dllearner.algorithms.refinement that return types with arguments of type Node

Set<Node>

Node.getChildren()

Methods in org.dllearner.algorithms.refinement with parameters of type Node

boolean	Node.addChild(Node child)
int	NodeComparatorStable.compare(Node n1, Node n2)
int	NodeComparator2.compare(Node n1, Node n2)
int	NodeComparator.compare(Node n1, Node n2)