plan.h File Reference

Typed immutable orchestration plans used by ProgramRuntime. More...

#include <neograph/api.h>
#include <neograph/json.h>
#include <cstdint>
#include <memory>
#include <optional>
#include <string>
#include <string_view>
#include <vector>

Include dependency graph for plan.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes
struct	neograph::program::ProgramExpandTaskGraphSpec
	Fixed, bounded source and admission contract for expand_task_graph. More...
struct	neograph::program::ProgramParallelMapSpec
	Closed, bounded child-work fan-out contract carried by a parallel_map operation. More...
class	neograph::program::ProgramPlan
	Immutable operation graph. More...
struct	neograph::program::ProgramPlanDispatchDescriptor
	Immutable, typed dispatch metadata for one Program operation. More...
class	neograph::program::ProgramPlanNode
	One immutable operation and its statically lowered references. More...
struct	neograph::program::ProgramStaticBudgetRequirements
	Worst-case resource floors implied by one finite typed Program tree. More...

Functions
NEOGRAPH_PROGRAM_API ProgramStaticBudgetRequirements	neograph::program::derive_static_budget_requirements (const ProgramPlan &plan)
	Derive finite worst-case floors for a sealed Program operation tree.

Detailed Description

Typed immutable orchestration plans used by ProgramRuntime.

A ProgramPlan is a compact, read-only scheduling graph. It is deliberately not bytecode: values remain JSON at the Core/adapter boundary while control references, operation tags, bounds, and source pointers are typed.

Definition in file plan.h.

Function Documentation

derive_static_budget_requirements()

NEOGRAPH_PROGRAM_API ProgramStaticBudgetRequirements neograph::program::derive_static_budget_requirements

(

const ProgramPlan &

plan

)

Derive finite worst-case floors for a sealed Program operation tree.

Throws std::invalid_argument for a cyclic or malformed graph and std::overflow_error when a bounded composition exceeds the supported resource integer range.

References neograph::program::derive_static_budget_requirements().

Referenced by neograph::program::derive_static_budget_requirements().