PrefixLabel (mcp 1.0 API)

java.lang.Object

org.mcp.variables.statics.Label

org.mcp.variables.statics.PrefixLabel

public class PrefixLabel extends Label

Constructor Summary

Constructors

Constructor

Description

PrefixLabel(Prefix value)
Method Summary

Modifier and Type

Method

Description

OperableLabel

convert()

boolean

equals(Object o)

MutableBDDInteger

getBddInteger()

Object

getValue()

int

hashCode()

void

setBddFactory(net.sf.javabdd.BDDFactory bddFactory)

Methods inherited from class java.lang.Object
clone, finalize, getClass, notify, notifyAll, toString, wait, wait, wait

Constructor Details
- PrefixLabel
  
  public PrefixLabel(Prefix value)
Method Details
- setBddFactory
  
  public void setBddFactory(net.sf.javabdd.BDDFactory bddFactory)
- getBddInteger
  
  public MutableBDDInteger getBddInteger()
- 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