| Constructor and Description | 
|---|
IrModule()  | 
IrModule(int initialVariableCapacity,
                int initialConstraintCapacity)  | 
| Modifier and Type | Method and Description | 
|---|---|
IrModule | 
addConstraint(IrBoolExpr expr)  | 
IrModule | 
addConstraints(IrBoolExpr... exprs)  | 
IrModule | 
addConstraints(Iterable<? extends IrBoolExpr> exprs)  | 
IrModule | 
addVariable(IrVar var)  | 
IrModule | 
addVariables(IrVar... vars)  | 
IrModule | 
addVariables(Iterable<? extends IrVar> vars)  | 
List<IrBoolExpr> | 
getConstraints()  | 
Set<IrVar> | 
getVariables()  | 
String | 
toString()  | 
public IrModule()
public IrModule(int initialVariableCapacity, int initialConstraintCapacity)
public IrModule addVariable(IrVar var)
public IrModule addVariables(IrVar... vars)
public IrModule addVariables(Iterable<? extends IrVar> vars)
public Set<IrVar> getVariables()
public IrModule addConstraint(IrBoolExpr expr)
public IrModule addConstraints(IrBoolExpr... exprs)
public IrModule addConstraints(Iterable<? extends IrBoolExpr> exprs)
public List<IrBoolExpr> getConstraints()
Copyright © 2013. All Rights Reserved.