Package | Description |
---|---|
org.chocosolver.solver.explanations |
Modifier and Type | Method and Description |
---|---|
Rules |
Explanation.getRules()
Return the rules, may be null
|
Modifier and Type | Method and Description |
---|---|
void |
Explanation.addRules(Rules someRules)
Merge 'someRules' into this rules
|
void |
Rules.or(Rules rules)
Merge 'rules' into this
|
Copyright © 2017. All rights reserved.