org.sat4j.pb.core

Class IntegerVariable

java.lang.Object

org.sat4j.pb.core.IntegerVariable

public class IntegerVariable
extends Object

Handle bounded positive integer variables through a binary decomposition.

Author:

lonca

Constructor Summary

Constructors

Constructor and Description
IntegerVariable(IVecInt vars)

Method Summary

Modifier and Type	Method and Description
IVecInt	getVars()
int	nVars()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

IntegerVariable

public IntegerVariable(IVecInt vars)

Method Detail

getVars

public IVecInt getVars()

nVars

public int nVars()