not_struct Struct Reference

#include <instantiations.h>

Data Fields
struct not_struct *	next
Symbol *	s1
Symbol *	s2

Detailed Description

Definition at line 83 of file instantiations.h.

Field Documentation

struct not_struct* not_struct::next

Definition at line 84 of file instantiations.h.

Referenced by backtrace_through_instantiation(), collect_nots(), deallocate_list_of_nots(), get_nots_for_instantiated_conditions(), and variablize_nots_and_insert_into_conditions().

Symbol* not_struct::s1

Definition at line 85 of file instantiations.h.

Referenced by backtrace_through_instantiation(), collect_nots(), deallocate_list_of_nots(), get_nots_for_instantiated_conditions(), and variablize_nots_and_insert_into_conditions().

Symbol* not_struct::s2

Definition at line 86 of file instantiations.h.

Referenced by backtrace_through_instantiation(), collect_nots(), deallocate_list_of_nots(), get_nots_for_instantiated_conditions(), and variablize_nots_and_insert_into_conditions().

---

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

• src/instantiations.h