Cubicle 1.1.2 documentation and source : Enumsolver_types.dummy

let rec dummy_ident =
    { iname = Hstring.make "";
      mask = 2;
      ivalues = {Vec.dummy=dummy_atom, dummy_value; data=[||]; sz=0};
      ivars = {Vec.dummy=dummy_var; data=[||]; sz=0};
    }

and dummy_var =
  { vid = -101;
    ident = dummy_ident;
    pa = dummy_atom;
    na = dummy_atom;
    weight = -1.;
    seen = false;
    level = -1;
    reason = None;
    vpremise = []}

and dummy_atom = 
  { aid = -202;
    var = dummy_var;
    value = dummy_value;
    neg = dummy_atom;
    watched = {Vec.dummy=dummy_clause; data=[||]; sz=0};
    is_true = false;}

and dummy_clause = 
  { name = ""; 
    atoms = {Vec.dummy=dummy_atom; data=[||]; sz=0};
    activity = -1.;
    removed = false;
    learnt = false;
    cpremise = [] }