public class DeterministicPriorityUpdater extends BaseUpdater implements DeterministicUpdater
model, size| Constructor and Description |
|---|
DeterministicPriorityUpdater(LogicalModel model,
int[][] blocks) |
DeterministicPriorityUpdater(LogicalModel model,
String config) |
DeterministicPriorityUpdater(ModelGrouping mpc) |
| Modifier and Type | Method and Description |
|---|---|
byte[] |
getSuccessor(byte[] state)
Get the unique successor of a state.
|
getModel, nodeChange, updateclone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, waitgetModelpublic DeterministicPriorityUpdater(LogicalModel model, int[][] blocks)
public DeterministicPriorityUpdater(LogicalModel model, String config)
public DeterministicPriorityUpdater(ModelGrouping mpc)
public byte[] getSuccessor(byte[] state)
DeterministicUpdatergetSuccessor in interface DeterministicUpdaterstate - the current stateCopyright © 2012–2020. All rights reserved.