C:/Users/Dennis/src/lang/Life_start/Life/life-1.02/source/login.h File Reference

Go to the source code of this file.

Functions
void	assert_clause ()
void	prove_psi_term ()
void	push_goal ()
void	fetch_def ()
void	get_one_arg ()
void	get_one_arg_addr ()
void	get_two_args ()
void	merge_unify ()
void	fetch_def_lazy ()
void	push_choice_point ()
void	push_ptr_value ()
void	push_ptr_value_global ()
void	push2_ptr_value ()
void	push_window ()
void	clean_undo_window ()
void	undo ()
void	undo_actions ()
void	show_count ()
Variables
ptr_stack	undo_stack
long	stepflag
long	ignore_eff
long	goal_count
struct tms start_time	end_time

---

Function Documentation

void assert_clause

(

)

void clean_undo_window

(

)

void fetch_def

(

)

void fetch_def_lazy

(

)

void get_one_arg

(

)

void get_one_arg_addr

(

)

void get_two_args

(

)

void merge_unify

(

)

void prove_psi_term

(

)

void push2_ptr_value

(

)

void push_choice_point

(

)

void push_goal

(

)

void push_ptr_value

(

)

void push_ptr_value_global

(

)

void push_window

(

)

void show_count

(

)

Definition at line 1136 of file login.c.

References end_time, goal_count, heap_pointer, mem_base, mem_limit, NOTQUIET, stack_info(), stack_pointer, and verbose.

Referenced by handle_interrupt(), main_prove(), and what_next_aim().

void undo

(

)

void undo_actions

(

)

Definition at line 742 of file login.c.

References Errorline(), NULL, and undo().

---

Variable Documentation

struct tms start_time end_time

Definition at line 58 of file login.c.

Referenced by show_count().

long goal_count

Definition at line 56 of file login.c.

Referenced by main(), main_prove(), prove_aim(), show_count(), and WFInput().

long ignore_eff

Definition at line 61 of file login.c.

Referenced by garbage(), main(), and WFInput().

long stepflag

Definition at line 101 of file error.c.

Referenced by c_trace(), handle_interrupt(), main_prove(), and tracing().

ptr_stack undo_stack

Definition at line 44 of file login.c.

---