Uses of Class
org.mcp.sat.MutableSATInteger

Packages that use MutableSATInteger

Package	Description
org.mcp.sat	SAT backend support for MCP symbolic domains and bit-vector encodings.

Uses of MutableSATInteger in org.mcp.sat

Methods in org.mcp.sat that return MutableSATInteger

Modifier and Type	Method	Description
MutableSATInteger	SATDomain.getInteger()	Returns the underlying MutableSATInteger.
static MutableSATInteger	MutableSATInteger.makeFromIndex(org.logicng.formulas.FormulaFactory factory, int length, int start, boolean reverse)	Creates a MutableSATInteger from a bitvector index.

Methods in org.mcp.sat with parameters of type MutableSATInteger

Modifier and Type	Method	Description
void	SATDomain.setInteger(MutableSATInteger i)	Sets the underlying MutableSATInteger.

Constructors in org.mcp.sat with parameters of type MutableSATInteger

Modifier	Constructor	Description
	MutableSATInteger(MutableSATInteger other)	Copy constructor.