Package org.mcp.variables.statics

Class PrefixSetLabel

java.lang.Object
org.mcp.variables.statics.Label
org.mcp.variables.statics.PrefixSetLabel
public class PrefixSetLabel extends Label

  • Constructor Details

    • PrefixSetLabel

      public PrefixSetLabel(Set<Prefix> value)

  • Method Details

    • setBddFactory

      public void setBddFactory(net.sf.javabdd.BDDFactory bddFactory)

    • hashCode

      public int hashCode()
      Specified by:
      hashCode in class Label

    • equals

      public boolean equals(Object o)
      Specified by:
      equals in class Label

    • convert

      public OperableLabel convert()
      Specified by:
      convert in class Label

    • getValue

      public Object getValue()
      Specified by:
      getValue in class Label