Class ValueGraph.Node

    • Field Detail

      • nodeNumber

        protected int nodeNumber
      • node

        protected Value node
      • nodeLabel

        protected String nodeLabel
      • ordered

        protected boolean ordered
      • stub

        protected boolean stub
    • Constructor Detail

      • Node

        protected Node​(Value local,
                       boolean ignored)
      • Node

        protected Node​(Value node)
    • Method Detail

      • patchStubs

        protected void patchStubs()
      • checkIfStub

        protected void checkIfStub()
      • setNode

        protected void setNode​(Value node)
      • setOrdered

        protected void setOrdered​(boolean ordered)
      • updateLabel

        protected void updateLabel()
      • isStub

        public boolean isStub()
      • getLabel

        public String getLabel()
      • isOrdered

        public boolean isOrdered()
      • getNodeNumber

        public int getNodeNumber()