Uses of Class
org.mcp.variables.dynamics.OperableLabel

Packages that use OperableLabel

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

Uses of OperableLabel in org.mcp.core

Subclasses of OperableLabel in org.mcp.core

Modifier and Type	Class	Description
class	MCPOperableLabel	MCPOperableLabel wraps an MCPBitVector and provides set operations (union, intersection, difference) for use in dynamic symbolic computations.

Methods in org.mcp.core that return OperableLabel

Modifier and Type	Method	Description
OperableLabel	MCPOperableLabel.inter(OperableLabel other)	Returns the intersection of this label and another.
OperableLabel	MCPOperableLabel.minus(OperableLabel other)	Returns the difference of this label and another (this \ other).
OperableLabel	MCPOperableLabel.union(OperableLabel other)	Returns the union of this label and another.

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

Modifier and Type	Method	Description
Map<Integer,OperableLabel>	ECEngine.getECAutomata()	Returns a mapping from EC indices to their semantic representations.

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

Modifier and Type	Method	Description
OperableLabel	MCPOperableLabel.inter(OperableLabel other)	Returns the intersection of this label and another.
OperableLabel	MCPOperableLabel.minus(OperableLabel other)	Returns the difference of this label and another (this \ other).
OperableLabel	MCPOperableLabel.union(OperableLabel other)	Returns the union of this label and another.

Uses of OperableLabel in org.mcp.variables.dynamics

Subclasses of OperableLabel in org.mcp.variables.dynamics

Modifier and Type	Class	Description
class	AutomatonOperableLabel
class	BddOperableLabel
class	MutableSetOperableLabel

Methods in org.mcp.variables.dynamics that return OperableLabel

Modifier and Type	Method	Description
static OperableLabel	OperableLabelFactory.createVar(OperableLabelType type, Object value)
OperableLabel	AutomatonOperableLabel.inter(OperableLabel other)
OperableLabel	BddOperableLabel.inter(OperableLabel other)
OperableLabel	MutableSetOperableLabel.inter(OperableLabel other)
abstract OperableLabel	OperableLabel.inter(OperableLabel other)
OperableLabel	AutomatonOperableLabel.minus(OperableLabel other)
OperableLabel	BddOperableLabel.minus(OperableLabel other)
OperableLabel	MutableSetOperableLabel.minus(OperableLabel other)
abstract OperableLabel	OperableLabel.minus(OperableLabel other)
OperableLabel	AutomatonOperableLabel.union(OperableLabel other)
OperableLabel	BddOperableLabel.union(OperableLabel other)
OperableLabel	MutableSetOperableLabel.union(OperableLabel other)
abstract OperableLabel	OperableLabel.union(OperableLabel other)

Methods in org.mcp.variables.dynamics that return types with arguments of type OperableLabel

Modifier and Type	Method	Description
Class<? extends OperableLabel>	OperableLabelType.getOperableLabelClass()

Methods in org.mcp.variables.dynamics with parameters of type OperableLabel

Modifier and Type	Method	Description
OperableLabel	AutomatonOperableLabel.inter(OperableLabel other)
OperableLabel	BddOperableLabel.inter(OperableLabel other)
OperableLabel	MutableSetOperableLabel.inter(OperableLabel other)
abstract OperableLabel	OperableLabel.inter(OperableLabel other)
OperableLabel	AutomatonOperableLabel.minus(OperableLabel other)
OperableLabel	BddOperableLabel.minus(OperableLabel other)
OperableLabel	MutableSetOperableLabel.minus(OperableLabel other)
abstract OperableLabel	OperableLabel.minus(OperableLabel other)
OperableLabel	AutomatonOperableLabel.union(OperableLabel other)
OperableLabel	BddOperableLabel.union(OperableLabel other)
OperableLabel	MutableSetOperableLabel.union(OperableLabel other)
abstract OperableLabel	OperableLabel.union(OperableLabel other)

Uses of OperableLabel in org.mcp.variables.statics

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

Modifier and Type	Method	Description
OperableLabel	IntegerSetLabel.convert()
OperableLabel	IntegerSetSetLabel.convert()
abstract OperableLabel	Label.convert()
OperableLabel	PrefixLabel.convert()
OperableLabel	PrefixSetLabel.convert()
OperableLabel	RangeLabel.convert()
OperableLabel	RangeSetLabel.convert()
OperableLabel	RegexpSetLabel.convert()