Class Vt

    • Method Detail

      • clone

        public Vt clone()
        Specified by:
        clone in class Vns
      • isSpec

        public boolean isSpec()
        Specified by:
        isSpec in class V
      • isValue

        public boolean isValue()
        Specified by:
        isValue in class V
      • switchToValue

        public Vt switchToValue()
        Specified by:
        switchToValue in class V
      • switchToSpec

        public Vt switchToSpec()
        Specified by:
        switchToSpec in class V
      • hashCode

        public int hashCode()
        Specified by:
        hashCode in class V
      • equals

        public boolean equals​(Object obj)
        Specified by:
        equals in class V
      • collectDefRefs

        public org.proforma.variability.transfer.VarSpecNode.DefRefCollector collectDefRefs()
        Overrides:
        collectDefRefs in class V
      • distanceTo

        public double distanceTo​(V choice)
        Specified by:
        distanceTo in class V