[−][src]Function varisat_checker::variables::add_user_mapping
pub fn add_user_mapping<'a>(
ctx: Const<CheckerStateP, Mut<VariablesP, Mut<ProcessingP<'a>, Mut<ClausesP, Ref<Context<'a>>>>>>,
global_var: Var,
user_var: Var
) -> Result<(), CheckerError>
Add a user/global var mapping.