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