probfd::cartesian_abstractions::CEGARResult Struct Reference

#include "probfd/cartesian_abstractions/cegar.h"

Description

Contains the final abstraction mapping (RefinementHierarchy), the final Cartesian abstraction, and the final heuristic for the abstract state distances.