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

Go to the source code of this file.

Functions
void	init_copy ()
void	clear_copy ()
ptr_psi_term	exact_copy ()
ptr_psi_term	quote_copy ()
ptr_psi_term	eval_copy ()
ptr_psi_term	inc_heap_copy ()
ptr_psi_term	distinct_copy ()
ptr_node	distinct_tree ()
void	mark_quote ()
void	mark_quote_tree ()
void	mark_eval ()
void	mark_eval_tree ()
void	mark_nonstrict ()
void	bk_mark_quote ()
ptr_psi_term	translate ()

---

Function Documentation

void bk_mark_quote

(

)

void clear_copy

(

)

Definition at line 86 of file copy.c.

References hashfree, and hashtime.

Referenced by add_rule(), apply1_internal(), c_apply(), c_assign(), c_copy_term(), c_eval(), c_freeze_inner(), c_global_assign(), c_project(), c_setq(), clause_aim(), eval_aim(), eval_global_var(), fetch_def(), fetch_def_lazy(), garbage(), global_one(), mark_eval(), mark_nonstrict(), mark_quote_new2(), prove_aim(), and replace().

ptr_psi_term distinct_copy

(

)

ptr_node distinct_tree

(

)

ptr_psi_term eval_copy

(

)

ptr_psi_term exact_copy

(

)

ptr_psi_term inc_heap_copy

(

)

void init_copy

(

)

Definition at line 68 of file copy.c.

References HASHSIZE, hashtable, hashtime, NUMBUCKETS, and numbuckets.

Referenced by main(), and WFInit().

void mark_eval

(

)

void mark_eval_tree

(

)

void mark_nonstrict

(

)

void mark_quote

(

)

void mark_quote_tree

(

)

ptr_psi_term quote_copy

(

)

ptr_psi_term translate

(

)

---