Module Semantic_check


module Semantic_check: sig .. end

exception Error_parameters of string
exception Undefined_role of string
exception No_function of string
exception Invalid_transition
exception Invalid_build of string
exception Error_start
exception Undefined_var of string
exception Undefined_const of string
exception Error
val compatible_types : Types.basic_type Types.term_structure * Types.basic_type Types.term_structure ->
bool
val always_compatible_types : Types.basic_type Types.term_structure -> bool
val list_of_errors : (int * string * string * string * string * string) list Pervasives.ref
val pair_to_list : 'a Types.term_structure -> 'a Types.term_structure list
val add_sem_error : int * string * string * string * string * string -> unit
val dummy_val_of_type : Types.basic_type Types.term_structure ->
Types.atoms_type Types.term_structure
val compare_types : Types.atoms_type Types.term_structure -> Types.term_type -> unit
val check_player_of_role : 'a ->
int ->
< get_id : 'a; get_type : Types.basic_type Types.term_structure; .. > list ->
unit
val check_args : < get_args : Types.atoms_type Types.term_structure list; get_role : int; .. > ->
< get_roles : Types.role_type list; .. > -> unit
val check_event_in_lhs : string -> < get_lhs : Types.predicate list; .. > -> unit
val check_no_event_in_lhs : string -> < get_lhs : Types.predicate list; .. > -> unit
val compare_terms : (('a -> unit) -> unit -> unit) ->
Types.atoms_type Types.term_structure ->
Types.atoms_type Types.term_structure -> unit
val check_cons : (('a -> unit) -> unit -> unit) ->
Types.atoms_type Types.term_structure -> unit
val check_start : (('a -> 'b) -> unit -> unit) -> Types.predicate -> unit
val check_var : ((int -> unit) -> int -> unit) ->
Types.atoms_type Types.term_structure -> unit
val check_equal : (('a -> unit) -> unit -> unit) -> Types.predicate -> unit
val check_duplication : < get_local : (< get_id : int; .. > as 'a) list; get_name : int;
get_owned : < get_id : int; .. > list; get_param : 'a list; .. > ->
unit
val check_predicate_vars : ((int -> unit) -> int -> unit) -> Types.predicate -> unit
val check_goals : Types.goals_type list -> unit
val check_all : < get_goals : Types.goals_type list; get_roles : Types.role_type list; .. > ->
unit