Package | Description |
---|---|
org.jacop.jasat.core | |
org.jacop.jasat.utils |
Modifier and Type | Method and Description |
---|---|
int |
Core.addModelClause(IntVec clause)
adds a clause to the solver
|
Modifier and Type | Method and Description |
---|---|
IntVec |
CnfParser.next() |
Modifier and Type | Method and Description |
---|---|
Iterator<IntVec> |
CnfParser.iterator()
to be called only once!
|
Modifier and Type | Method and Description |
---|---|
void |
BasicPreprocessor.addModelClause(IntVec clause)
add a clause (just parsed from a file, e.g.) to the solver, after
processing
|
Copyright © 2022. All rights reserved.