org.colomoto.biolqm.tool.simulation.deterministic

Interface DeterministicUpdater

All Superinterfaces:

LogicalModelUpdater

All Known Implementing Classes:

BlockSequentialUpdater, DeterministicPriorityUpdater, SequentialUpdater, SynchronousUpdater

public interface DeterministicUpdater
extends LogicalModelUpdater

Interface for deterministic updaters which always return the same single successor for a given state.

Author:

Aurelien Naldi

Method Summary

Modifier and Type	Method and Description
byte[]	getSuccessor(byte[] state) Get the unique successor of a state.

Methods inherited from interface org.colomoto.biolqm.tool.simulation.LogicalModelUpdater

getModel

Method Detail

getSuccessor

byte[] getSuccessor(byte[] state)

Get the unique successor of a state.

Parameters:

state - the current state

Returns:

the successor state