de.rwth.i2.attestor.phases.symbolicExecution.utilStrategies

Class NoStateCounter

java.lang.Object

de.rwth.i2.attestor.phases.symbolicExecution.utilStrategies.NoStateCounter

All Implemented Interfaces:

StateSpaceGenerator.TotalStatesCounter

public class NoStateCounter
extends Object
implements StateSpaceGenerator.TotalStatesCounter

Constructor Summary

Constructors

Constructor and Description
NoStateCounter()

Method Summary

Modifier and Type	Method and Description
void	addStates(int states)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

NoStateCounter

public NoStateCounter()

Method Detail

addStates

public void addStates(int states)

Specified by:

addStates in interface StateSpaceGenerator.TotalStatesCounter