wl_definition Struct Reference

#include <extern.h>

Data Fields
long	date
ptr_keyword	keyword
ptr_pair_list	rule
ptr_triple_list	properties
ptr_int_list	code
ptr_int_list	parents
ptr_int_list	children
def_type	type
char	always_check
char	protected
char	evaluate_args
char	already_loaded
ptr_operator_data	op_data
ptr_psi_term	global_value
ptr_psi_term	init_value
ptr_definition	next

---

Detailed Description

Definition at line 429 of file extern.h.

---

Field Documentation

long wl_definition::date

Definition at line 430 of file extern.h.

Referenced by assert_protected(), new_definition(), and redefine().

ptr_keyword wl_definition::keyword

Definition at line 432 of file extern.h.

Referenced by add_rule(), all_public_symbols(), assert_args_not_eval(), assert_attributes(), assert_complicated_type(), assert_less(), assert_protected(), c_alias(), c_apply(), c_combined_name(), c_exist_feature(), c_listing(), c_module_name(), c_project(), c_psi2string(), clause_aim(), declare_operator(), encode_types(), init_built_in_types(), make_feature_private(), make_public(), new_definition(), pretty_list(), pretty_psi_term(), psi_to_string(), read_psi_term(), redefine(), replace_attr(), and type_disj_aim().

ptr_pair_list wl_definition::rule

Definition at line 434 of file extern.h.

Referenced by abort_life(), add_rule(), apply1_internal(), assert_protected(), c_apply(), c_eval_disjunction(), c_freeze_inner(), c_listing(), c_setq(), check_func(), new_built_in(), new_definition(), pred_clause(), prove_aim(), and redefine().

ptr_triple_list wl_definition::properties

Definition at line 435 of file extern.h.

Referenced by new_definition(), and propagate_definitions().

ptr_int_list wl_definition::code

Definition at line 437 of file extern.h.

Referenced by check_resid(), clear_coding(), decode(), encode_types(), equalize_codes(), glb(), glb_code(), glb_value(), init_built_in_types(), lub(), mark_ancestors(), matches(), new_definition(), overlap_type(), sub_type(), and type_cyclicity().

ptr_int_list wl_definition::parents

Definition at line 438 of file extern.h.

Referenced by all_sorts(), c_parents(), collect_symbols(), encode_types(), find_adults(), least_sorts(), new_definition(), and redefine().

ptr_int_list wl_definition::children

Definition at line 439 of file extern.h.

Referenced by c_children(), collect_symbols(), encode_types(), least_sorts(), new_definition(), propagate_definitions(), and redefine().

def_type wl_definition::type

Definition at line 441 of file extern.h.

Referenced by abort_life(), add_rule(), all_sorts(), assert_args_not_eval(), assert_attributes(), assert_less(), assert_protected(), bad_psi_term(), c_apply(), c_boolpred(), c_cond(), c_freeze_inner(), c_is_function(), c_is_persistent(), c_is_predicate(), c_is_sort(), c_listing(), c_project(), c_setq(), clear_coding(), collect_symbols(), count_sorts(), equalize_codes(), fetch_def(), find_adults(), global_error_check(), import_symbol_internal(), init_built_in_types(), isa(), isSubTypeValue(), least_sorts(), lub(), new_built_in(), new_definition(), one_pass_always_check(), persistent_error_check(), pred_clause(), pretty_list(), pretty_psi_term(), prove_aim(), read_name(), read_number(), and redefine().

char wl_definition::always_check

Definition at line 442 of file extern.h.

Referenced by assert_delay_check(), c_project(), fetch_def_lazy(), list_special(), new_definition(), one_pass_always_check(), propagate_always_check(), and type_disj_aim().

char wl_definition::protected

Definition at line 443 of file extern.h.

Referenced by assert_protected(), c_setq(), list_special(), new_definition(), prove_aim(), and redefine().

char wl_definition::evaluate_args

Definition at line 444 of file extern.h.

Referenced by assert_args_not_eval(), list_special(), and new_definition().

char wl_definition::already_loaded

Definition at line 445 of file extern.h.

Referenced by clear_already_loaded(), and new_definition().

ptr_operator_data wl_definition::op_data

Definition at line 447 of file extern.h.

Referenced by collect_symbols(), new_definition(), op_declare(), and pretty_variables().

ptr_psi_term wl_definition::global_value

Definition at line 449 of file extern.h.

Referenced by c_is_persistent(), c_listing(), init_global_vars(), and new_definition().

ptr_psi_term wl_definition::init_value

Definition at line 450 of file extern.h.

Referenced by new_definition().

ptr_definition wl_definition::next

Definition at line 456 of file extern.h.

Referenced by all_public_symbols(), all_sorts(), clear_coding(), collect_symbols(), count_sorts(), equalize_codes(), find_adults(), init_global_vars(), insert_prop(), least_sorts(), new_definition(), and one_pass_always_check().

---

The documentation for this struct was generated from the following file:

• C:/Users/Dennis/src/lang/Life_start/Life/life-1.02/source/extern.h

---