org.leialearns.logic.structure

Class NodeHelper

java.lang.Object

org.leialearns.logic.structure.NodeHelper

public class NodeHelper
extends Object

Adds functionality to Nodes.

Constructor Summary

Constructors

Constructor and Description
NodeHelper()

Method Summary

Methods

Modifier and Type	Method and Description
boolean	isPrefixOf(Node node, Node other) See Node.isPrefixOf(Node).

Methods inherited from class java.lang.Object

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

Constructor Detail

NodeHelper

public NodeHelper()

Method Detail

isPrefixOf

public boolean isPrefixOf(Node node,
                 Node other)

See Node.isPrefixOf(Node).