Struct TypesBudgets 

pub struct TypesBudgets {
    pub max_cycles: u32,
    pub max_facts: u32,
    pub max_tokens: Option<u64>,
    pub time_limit_ms: Option<u64>,
}

Execution budgets.

Uses “Types” prefix to avoid collision with existing Budgets.

Fields

max_cycles: u32

Maximum convergence cycles.

max_facts: u32

Maximum facts that can be created.

max_tokens: Option<u64>

Maximum tokens (for LLM operations).

time_limit_ms: Option<u64>

Time limit in milliseconds.

Implementations

impl TypesBudgets

pub fn with_cycles(max_cycles: u32) -> TypesBudgets

Create budgets with custom cycle limit.

pub fn with_max_tokens(self, max_tokens: u64) -> TypesBudgets

Set max tokens.

pub fn with_time_limit(self, time_limit_ms: u64) -> TypesBudgets

Set time limit.

pub fn to_engine_budget(&self) -> Budget

Convert to the engine-local budget representation.

Trait Implementations

impl Clone for TypesBudgets

fn clone(&self) -> TypesBudgets

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for TypesBudgets

fn fmt(&self, f: &mut Formatter<'_>) -> Result<(), Error>

Formats the value using the given formatter.

impl Default for TypesBudgets

fn default() -> TypesBudgets

Returns the “default value” for a type.

impl<'de> Deserialize<'de> for TypesBudgets

fn deserialize<__D>( __deserializer: __D, ) -> Result<TypesBudgets, <__D as Deserializer<'de>>::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Serialize for TypesBudgets

fn serialize<__S>( &self, __serializer: __S, ) -> Result<<__S as Serializer>::Ok, <__S as Serializer>::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.