Constructor and Description |
---|
LearnNothing() |
Modifier and Type | Method and Description |
---|---|
void |
forget(Solver solver)
Forget some pieces of knowledge.
|
void |
record(Solver solver)
Validate and record a new piece of knowledge, that is, the current position is a dead-end.
|
Copyright © 2018. All rights reserved.