Skip to main content

assemble_resident

Function assemble_resident 

Source
pub fn assemble_resident(
    pages: &[ContextPage],
    mandatory_ids: &[String],
    env: &DependencyEnv,
    budget: &ContextBudget,
    instruction_tokens: u64,
    frame_tokens: u64,
    weights: &BTreeMap<String, f64>,
) -> Result<ResidentOutcome>
Expand description

Assemble the resident context per Definition 6.

instruction_tokens is c(I_t) for the compiled programs; frame_tokens is the synopsis frame bound q. Every candidate offered for selection must already respect q; pages whose dependency fails are excluded before selection.