Struct ModelBuilder

pub struct ModelBuilder<'a> {
    pub framework: &'a Nnef,
    pub registries: Vec<Identifier>,
    pub model: Graph<TypedFact, Box<dyn TypedOp>>,
    pub naming_scopes: Vec<Identifier>,
    pub scopes: Vec<HashMap<Identifier, Value>>,
    pub proto_model: &'a ProtoModel,
    pub symbols: Vec<Symbol>,
    /* private fields */
}

Fields

framework: &'a Nnef

registries: Vec<Identifier>

model: Graph<TypedFact, Box<dyn TypedOp>>

naming_scopes: Vec<Identifier>

scopes: Vec<HashMap<Identifier, Value>>

proto_model: &'a ProtoModel

symbols: Vec<Symbol>

Implementations

impl<'mb> ModelBuilder<'mb>

pub fn new( framework: &'mb Nnef, proto_model: &'mb ProtoModel, template: Graph<TypedFact, Box<dyn TypedOp>>, ) -> ModelBuilder<'mb>

pub fn allowing_new_symbols<R>( &mut self, closure: impl Fn(&mut ModelBuilder<'mb>) -> R, ) -> R

pub fn into_typed_model( self, ) -> Result<Graph<TypedFact, Box<dyn TypedOp>>, (Graph<TypedFact, Box<dyn TypedOp>>, Error)>

pub fn wire_body(&mut self, body: &[Assignment]) -> Result<(), Error>

pub fn wire_invocation( &mut self, invocation: &Invocation, dt: &[Option<DatumType>], ) -> Result<Value, Error>

pub fn wire_fragment_invocation( &mut self, invocation: &ResolvedInvocation<'_>, decl: &FragmentDecl, body: &[Assignment], ) -> Result<Value, Error>

pub fn generate_node_name(&self) -> String

pub fn wire_as_outlets( &mut self, op: impl Into<Box<dyn TypedOp>>, inputs: &[OutletId], ) -> Result<SmallVec<[OutletId; 4]>, Error>

pub fn add_const(&mut self, v: impl IntoArcTensor) -> Result<OutletId, Error>

pub fn wire( &mut self, op: impl Into<Box<dyn TypedOp>>, inputs: &[OutletId], ) -> Result<Value, Error>