List of all items
Structs
- AnyPropertyIndexV0
- CalcDimensionDiagnosticSummaryV0
- CalcDimensionDiagnosticV0
- CascadeDimensionalRefinementBridgeV0
- CascadeDimensionalRefinementContextEvaluationV0
- DimensionVectorDomainSummaryV0
- DimensionVectorV0
- DimensionVectorValueV0
- RefinedAbstractPropertyValueV0
- RefinementContextSummaryV0
- RefinementPredicateEvaluationV0
- TopPredicateV0
Enums
Functions
- abstract_property_value_shape_v0
- evaluate_refinement_property_predicate_v0
- project_legacy_to_refined_v0
- project_refined_to_legacy_v0
- refine_declaration_in_context
- refined_projection_preserves_legacy_value_v0
- refinement_smt_backend_available_v0
- summarize_calc_dimension_diagnostics_v0
- summarize_cascade_dimensional_refinement_bridge_v0
- summarize_dimension_vector_domain_v0
- summarize_refinement_context_v0