probfd::cartesian_abstractions::AdaptiveFlawGenerator Class Reference

#include "probfd/cartesian_abstractions/adaptive_flaw_generator.h"

Inheritance diagram for probfd::cartesian_abstractions::AdaptiveFlawGenerator:

Description

A flaw generator that uses an incomplete flaw generator, with a complete flaw generator as a backup.