Class LatticeRootNode

  • public class LatticeRootNode
    extends LatticeNode
    Root node in a Lattice. It has no parent.
    • Field Detail

      • descendants

        public final<LatticeNode> descendants
        Descendants, in prefix order. This root node is at position 0.
      • paths

        final<Path> paths
    • Method Detail

      • createPaths

        private<Path> createPaths​(LatticeSpace space)
      • isValid

        boolean isValid​(Litmus litmus)
        Validates that nodes form a tree; each node except the first references a predecessor.
      • contains

        public boolean contains​(LatticeRootNode node)
        Whether this node's graph is a super-set of (or equal to) another node's graph.