de.rwth.i2.attestor.stateSpaceGeneration

Interface StateSpaceGenerator.TotalStatesCounter

All Known Implementing Classes:

NoStateCounter

Enclosing class:

StateSpaceGenerator

Functional Interface:

This is a functional interface and can therefore be used as the assignment target for a lambda expression or method reference.

@FunctionalInterface
public static interface StateSpaceGenerator.TotalStatesCounter

Method Summary

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

Method Detail

addStates

void addStates(int states)