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.