ConfigurationCount.h File Reference

#include <cstdint>
#include <Api/StopCondition/StopCondition.h>
#include <KttPlatform.h>

Go to the source code of this file.

Classes
class	ktt::ConfigurationCount

Namespaces
namespace	ktt

Detailed Description

Stop condition based on count of explored configurations.