Uses of Class
org.mcp.core.MCPBitVector

Packages that use MCPBitVector

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

Uses of MCPBitVector in org.mcp.core

Methods in org.mcp.core that return MCPBitVector

Modifier and Type	Method	Description
MCPBitVector	MCPBitVector.and(MCPBitVector other)	Performs a logical AND with another MCPBitVector.
MCPBitVector	MCPBitVector.andWith(MCPBitVector other)	Performs an in-place logical AND with another MCPBitVector (modifies this instance for SAT).
MCPBitVector	MCPBitVector.biimp(MCPBitVector other)	Performs logical bi-implication (equivalence) with another MCPBitVector.
MCPBitVector	MCPBitVector.copy()	Returns a deep copy of this MCPBitVector.
MCPBitVector	MCPBitVector.diff(MCPBitVector other)	Computes the difference (this AND NOT other) with another MCPBitVector.
MCPBitVector	MCPBitVector.diffWith(MCPBitVector other)	Computes the in-place difference (this AND NOT other) with another MCPBitVector (modifies this instance for SAT).
MCPBitVector	MCPFactory.getFalse()	Returns a bit vector representing logical false for the current backend type.
MCPBitVector	MCPFactory.getLabel(String domainName, Label value)	Returns a bit vector representing the given label in the specified 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.
MCPBitVector	MCPFactory.getOne()	Returns a bit vector representing logical one (true) for the current backend type.
MCPBitVector	MCPFactory.getTrue()	Returns a bit vector representing logical true for all domains.
MCPBitVector	MCPFactory.getVar(String domainName, Object value)	Returns a bit vector representing the given value in the specified domain.
MCPBitVector	MCPFactory.getVarFillOtherDomain(String domainName, Object value)	Returns a bit vector for the given value in one domain, and true in all other domains.
MCPBitVector	MCPBitVector.id()	Returns a copy of this bit vector (for BDD, returns a new reference).
MCPBitVector	MCPBitVector.imp(MCPBitVector other)	Performs logical implication (this => other).
MCPBitVector	MCPBitVector.impWith(MCPBitVector other)	Performs in-place logical implication (this => other) (modifies this instance for SAT).
MCPBitVector	MCPBitVector.not()	Performs logical NOT on this bit vector.
MCPBitVector	MCPBitVector.or(MCPBitVector other)	Performs a logical OR with another MCPBitVector.
MCPBitVector	MCPBitVector.withFactory(Object factory)	Returns a new MCPBitVector with the same value and the given factory set.

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

Modifier and Type	Method	Description
MCPBitVector	MCPBitVector.and(MCPBitVector other)	Performs a logical AND with another MCPBitVector.
MCPBitVector	MCPBitVector.andWith(MCPBitVector other)	Performs an in-place logical AND with another MCPBitVector (modifies this instance for SAT).
MCPBitVector	MCPBitVector.biimp(MCPBitVector other)	Performs logical bi-implication (equivalence) with another MCPBitVector.
MCPBitVector	MCPBitVector.diff(MCPBitVector other)	Computes the difference (this AND NOT other) with another MCPBitVector.
MCPBitVector	MCPBitVector.diffWith(MCPBitVector other)	Computes the in-place difference (this AND NOT other) with another MCPBitVector (modifies this instance for SAT).
MCPBitVector	MCPBitVector.imp(MCPBitVector other)	Performs logical implication (this => other).
MCPBitVector	MCPBitVector.impWith(MCPBitVector other)	Performs in-place logical implication (this => other) (modifies this instance for SAT).
MCPBitVector	MCPBitVector.or(MCPBitVector other)	Performs a logical OR with another MCPBitVector.

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

Modifier	Constructor	Description
	MCPBitVector(MCPBitVector other)	Copy constructor.
	MCPOperableLabel(MCPBitVector value)	Constructs a new MCPOperableLabel with the given symbolic value.