Skip to main content

instantiate_default_impl

conjure_cp::representation::default_impls

Function instantiate_default_impl 

Source 
pub fn instantiate_default_impl<DomL, DecL, A, SF>(
    dom_level: DomL,
    decl: DeclarationPtr,
    structural: SF,
) -> Result<(DecL, SymbolTable, Vec<Expression>), ReprInstantiateError>
where
    DomL: ReprDomainLevel<Assignment = A, DeclLevel = DecL> + FuncMap<Moo<Domain>, DeclarationPtr, Output = DecL>,
    A: FuncMap<Literal, DeclarationPtr, Output = DecL>,
    SF: Fn(&DecL) -> Vec<Expression>,
Expand description

Implement ReprDomainLevel::instantiate as a functor S<DomainPtr> -> S<DeclarationPtr>. Needs the following additional arguments:

  • structural - function which takes &S<DeclarationPtr> and generates its structural constraints