Class Types.basic_if_rule


class basic_if_rule : if_state -> if_state -> if_state -> term list -> atoms_type list -> object .. end

val mutable lhs : if_state
val mutable rhs : if_state
val mutable cond : if_state
val mutable var_list : term list
val mutable exists_list : atoms_type list
method get_lhs : if_state
method get_rhs : if_state
method get_cond : if_state
method set_lhs : if_state -> unit
method set_rhs : if_state -> unit
method set_cond : if_state -> unit
method get_var_list : term list
method set_var_list : term list -> unit
method get_exists_list : atoms_type term_structure list
method set_exists_list : atoms_type list -> unit