|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
public interface ExpressionManager
Field Summary | |
---|---|
static Logger |
LOGGER
|
Method Summary | |
---|---|
INode |
makeNode(Solver solver,
Constraint[] cstrs,
Variable[] vars)
Build a expression node |
Field Detail |
---|
static final Logger LOGGER
Method Detail |
---|
INode makeNode(Solver solver, Constraint[] cstrs, Variable[] vars)
solver
- cstrs
- constraintsvars
- variables
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |