public class SequentialUpdater extends BaseUpdater implements DeterministicUpdater
model, size| Constructor and Description |
|---|
SequentialUpdater(LogicalModel model)
Create a new sequential updater, using the default order
|
SequentialUpdater(LogicalModel model,
int[] order)
Create a new sequential updater, using a custom order
|
SequentialUpdater(LogicalModel model,
String s_order)
Create a new sequential updater, using a custom order
|
| 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 SequentialUpdater(LogicalModel model)
model - the model for which the updater is constructedpublic SequentialUpdater(LogicalModel model, String s_order)
model - the model for which the updater is constructeds_order - the ordering for sequential updatespublic SequentialUpdater(LogicalModel model, int[] order)
model - the model for which the updater is constructedorder - the ordering for sequential updatespublic byte[] getSuccessor(byte[] state)
DeterministicUpdatergetSuccessor in interface DeterministicUpdaterstate - the current stateCopyright © 2012–2020. All rights reserved.