Uses of Class
org.mcp.variables.statics.Label

Packages that use Label

Package	Description
org.mcp.core	Core abstractions for the MCP symbolic engine.
org.mcp.variables.statics

Uses of Label in org.mcp.core

Fields in org.mcp.core with type parameters of type Label

Modifier and Type	Field	Description
protected Map<String,Set<Label>>	MCPLabels._domainToLabels	Domain name to set of static variables.
protected Map<String,Map<Label,Set<Integer>>>	MCPLabels._domainToLabelToECs	Domain name to mapping from static variable to its EC indices.
protected Map<String,Map<Object,Label>>	MCPLabels._domainToObjectToLabel	Domain name to mapping from object to static variable.
protected Map<String,Label>	MCPLabels._domainToTrueVariable	Domain name to the "true" static variable.

Methods in org.mcp.core that return types with arguments of type Label

Modifier and Type	Method	Description
Map<Label,Set<Integer>>	ECEngine.getECs()	Returns a mapping from each label to the set of EC indices it covers.

Methods in org.mcp.core with parameters of type Label

Modifier and Type	Method	Description
void	MCPLabels.addLabel(String domainName, LabelType type, Label label)	Adds a domain variable to this class.
MCPBitVector	MCPFactory.getLabel(String domainName, Label value)	Returns a bit vector representing the given label in the specified domain.
Set<Integer>	MCPLabels.getLabelECs(String domainName, Label var)	Retrieves the set of ECs for a specific static variable within a given domain.
MCPBitVector	MCPFactory.getLabelFillOtherDomain(String domainName, Label value)	Returns a bit vector for the given label in one domain, and true in all other domains.
boolean	MCPLabels.isContain(String domainName, Label var1, Label var2)	Checks if one static variable contains another within a given domain.

Constructors in org.mcp.core with parameters of type Label

Modifier	Constructor	Description
	ECEngine(Set<Label> labels, Label trueLabel)	Constructs ECs for the given set of labels.

Constructor parameters in org.mcp.core with type arguments of type Label

Modifier	Constructor	Description
	ECEngine(Set<Label> labels, Label trueLabel)	Constructs ECs for the given set of labels.

Uses of Label in org.mcp.variables.statics

Subclasses of Label in org.mcp.variables.statics

Modifier and Type	Class	Description
class	IntegerSetLabel
class	IntegerSetSetLabel
class	PrefixLabel
class	PrefixSetLabel
class	RangeLabel
class	RangeSetLabel
class	RegexpSetLabel

Methods in org.mcp.variables.statics that return Label

Modifier and Type	Method	Description
static Label	LabelFactory.createVar(LabelType type, Object value)

Methods in org.mcp.variables.statics that return types with arguments of type Label

Modifier and Type	Method	Description
Class<? extends Label>	LabelType.getLabelClass()