public class RelationLiteral.Brick extends Object
int[]
lb
ub
RelationLiteral.Brick(int[] lb, int[] ub)
String
toString()
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait
public int[] lb
public int[] ub
public RelationLiteral.Brick(int[] lb, int[] ub)
public String toString()
toString
Object
Sugar: A SAT-based Constraint Solver