Project

General

Profile

« Previous | Next » 

Revision 333e3a25

Added by Pierre-Loïc Garoche over 5 years ago

[general] Refactor get_node_eqs to produce (eqs, auts) with automatons

View differences:

src/algebraicLoop.ml
43 43 
  let resolve node partition : call list =
44 44 
    let partition = ISet.of_list partition in
45 45 
    (* Preprocessing calls: associate to each of them the eq.lhs associated *)
46 
    let eqs = get_node_eqs node in
47 
    let calls_expr = Causality.NodeDep.get_calls (fun _ -> true) eqs in
46 
    let calls_expr = Causality.NodeDep.get_calls (fun _ -> true) node in
47 
    let eqs, auts = get_node_eqs node in
48 
    assert (auts = []); (* TODO voir si on peut acceder directement aux eqs qui font les calls *)
48 49 
    let calls = List.map (
49 50 
      fun expr ->
50 51 
	let eq = List.find (fun eq ->

Also available in: Unified diff