atlas: atlas::interpreter Namespace Reference

 { 
                                 conversion_info(copy(&row_of_int_type), copy(&vec_type), vector_converter), 
                                 conversion_info(copy(&row_of_vec_type), copy(&mat_type), matrix_converter), 
                                 
                                 conversion_info(copy(&row_row_of_int_type), copy(&mat_type)
                                   , matrix2_converter), 
                                 conversion_info(copy(&vec_type), copy(&row_of_int_type)
                                   , int_list_converter), 
                                 conversion_info(copy(&mat_type), copy(&row_of_vec_type)
                                   , vec_list_converter), 
                                 conversion_info(copy(&mat_type), copy(&row_row_of_int_type)
                                   , int_list_list_converter), 
}

atlas::interpreter Namespace Reference

Classes

Typedefs

Enumerations

Functions

Variables

Typedef Documentation

Enumeration Type Documentation

Function Documentation

Variable Documentation


Classes
class	atlas::interpreter::BufferedInput
struct	atlas::interpreter::Lie_type_value
struct	atlas::interpreter::root_datum_value
struct	atlas::interpreter::inner_class_value
struct	atlas::interpreter::real_form_value
struct	atlas::interpreter::dual_real_form_value
struct	atlas::interpreter::Cartan_class_value
struct	atlas::interpreter::conversion_info
struct	atlas::interpreter::type_declarator
struct	atlas::interpreter::type_node
struct	atlas::interpreter::func_type
struct	atlas::interpreter::value_base
struct	atlas::interpreter::int_value
struct	atlas::interpreter::string_value
struct	atlas::interpreter::bool_value
struct	atlas::interpreter::row_value
struct	atlas::interpreter::expression_base
struct	atlas::interpreter::denotation
class	atlas::interpreter::program_error
struct	atlas::interpreter::type_error
struct	atlas::interpreter::list_expression
struct	atlas::interpreter::vector_conversion
struct	atlas::interpreter::matrix_conversion
struct	atlas::interpreter::matrix2_conversion
struct	atlas::interpreter::int_list_conversion
struct	atlas::interpreter::vec_list_conversion
struct	atlas::interpreter::int_list_list_conversion
struct	atlas::interpreter::vector_value
struct	atlas::interpreter::matrix_value
struct	atlas::interpreter::tuple_expression
struct	atlas::interpreter::tuple_value
struct	atlas::interpreter::call_expression
struct	atlas::interpreter::id_data
class	atlas::interpreter::Id_table
struct	atlas::interpreter::builtin_value
struct	atlas::interpreter::identifier_expression
struct	atlas::interpreter::row_subscription
struct	atlas::interpreter::vector_subscription
struct	atlas::interpreter::matrix_subscription
class	atlas::interpreter::String_pool
class	atlas::interpreter::Hash_table
class	atlas::interpreter::Lexical_analyser
Typedefs
typedef std::auto_ptr< Lie_type_value >	Lie_type_ptr
typedef std::auto_ptr< root_datum_value >	root_datum_ptr
typedef std::auto_ptr< inner_class_value >	inner_class_ptr
typedef std::auto_ptr< real_form_value >	real_form_ptr
typedef std::auto_ptr< dual_real_form_value >	dual_real_form_ptr
typedef std::auto_ptr< Cartan_class_value >	Cartan_class_ptr
typedef std::vector< conversion_info >	coerce_table_type
typedef std::auto_ptr< type_declarator >	type_ptr
typedef type_node *	type_list
typedef std::auto_ptr< type_node >	type_list_ptr
typedef value_base *	value
typedef std::auto_ptr< value_base >	owned_value
typedef std::auto_ptr< int_value >	int_ptr
typedef std::auto_ptr< string_value >	string_ptr
typedef std::auto_ptr< bool_value >	bool_ptr
typedef std::auto_ptr< row_value >	row_ptr
typedef expression_base *	expression
typedef std::auto_ptr< expression_base >	expression_ptr
typedef std::auto_ptr< vector_value >	vector_ptr
typedef std::auto_ptr< matrix_value >	matrix_ptr
typedef std::auto_ptr< tuple_value >	tuple_ptr
typedef void(*	wrapper_function )()
typedef std::auto_ptr< builtin_value >	builtin_ptr
Enumerations
enum	type_tag { undetermined_type, primitive_type, row_type, tuple_type, function_type }
enum	primitive_tag { integral_type, string_type, boolean_type, vector_type, matrix_type, complex_lie_type_type, root_datum_type, inner_class_type, real_form_type, dual_real_form_type, Cartan_class_type, nr_of_primitive_types }
Functions
void	skip_punctuation (const char *&p)
void	Lie_type_wrapper () throw (std::bad_alloc,std::runtime_error)
void	Cartan_matrix_wrapper ()
void	type_of_Cartan_matrix_wrapper ()
void	smithBasis (latticetypes::CoeffList &invf, latticetypes::WeightList &b, const lietype::LieType &lt)
void	Smith_Cartan_wrapper ()
void	filter_units_wrapper ()
latticetypes::LatticeMatrix	annihilator_modulo (const latticetypes::LatticeMatrix &M, latticetypes::LatticeCoeff denominator)
void	ann_mod_wrapper ()
void	replace_gen_wrapper ()
lietype::InnerClassType	transform_inner_class_type (const char *s, const lietype::LieType &lt) throw (std::bad_alloc, std::runtime_error)
void	basic_involution_wrapper ()
void	based_involution_wrapper ()
lietype::LieType	type_of_datum (const rootdata::RootDatum &rd)
void	type_of_root_datum_wrapper ()
void	root_datum_wrapper ()
void	quotient_basis_wrapper ()
void	quotient_datum_wrapper ()
void	simply_connected_datum_wrapper ()
void	adjoint_datum_wrapper ()
void	SL_wrapper ()
void	GL_wrapper ()
void	simple_roots_wrapper ()
void	simple_coroots_wrapper ()
void	datum_Cartan_wrapper ()
void	roots_wrapper ()
void	coroots_wrapper ()
void	root_coradical_wrapper ()
void	coroot_radical_wrapper ()
void	dual_datum_wrapper ()
std::pair< size_t, size_t >	classify_involution (const latticetypes::LatticeMatrix &M, size_t r) throw (std::bad_alloc, std::runtime_error)
void	classify_wrapper ()
std::pair< lietype::LieType, lietype::InnerClassType >	check_involution (const latticetypes::LatticeMatrix &M, const rootdata::RootDatum &rd) throw (std::bad_alloc, std::runtime_error)
void	fix_involution_wrapper ()
void	set_type_wrapper ()
void	set_inner_class_wrapper ()
void	distinguished_involution_wrapper ()
void	root_datum_of_inner_class_wrapper ()
void	dual_inner_class_wrapper ()
void	push_name_list (const realform_io::Interface &interface)
void	form_names_wrapper ()
void	dual_form_names_wrapper ()
void	block_sizes_wrapper ()
void	occurrence_matrix_wrapper ()
void	dual_occurrence_matrix_wrapper ()
void	real_form_wrapper ()
void	quasisplit_form_wrapper ()
void	components_rank_wrapper ()
void	count_Cartans_wrapper ()
void	KGB_size_wrapper ()
void	Cartan_order_matrix_wrapper ()
void	dual_real_form_wrapper ()
void	dual_quasisplit_form_wrapper ()
void	real_form_from_dual_wrapper ()
void	Cartan_class_wrapper ()
void	most_split_Cartan_wrapper ()
void	print_Cartan_info_wrapper ()
void	real_forms_of_Cartan_wrapper ()
void	dual_real_forms_of_Cartan_wrapper ()
void	fiber_part_wrapper ()
void	print_gradings_wrapper ()
void	print_realweyl_wrapper ()
void	print_strongreal_wrapper ()
void	print_block_wrapper ()
void	print_blockd_wrapper ()
void	print_blocku_wrapper ()
void	print_blockstabilizer_wrapper ()
void	print_KGB_wrapper ()
void	print_KL_basis_wrapper ()
void	print_prim_KL_wrapper ()
void	print_KL_list_wrapper ()
void	print_W_cells_wrapper ()
void	print_W_graph_wrapper ()
void	initialise_builtin_types ()
latticetypes::Weight	cast_intlist_to_weight (const value)
latticetypes::LatticeMatrix	cast_intlistlist_to_matrix (const value)
expression	vector_converter (expression e)
expression	matrix_converter (expression e)
expression	matrix2_converter (expression e)
expression	int_list_converter (expression e)
expression	vec_list_converter (expression e)
expression	int_list_list_converter (expression e)
type_list_ptr	find_type_list (expr_list)
type_ptr	unknown_tuple (size_t n)
const type_declarator	row_of_type (copy(&unknown_type).release())
const type_declarator	row_of_int_type (copy(&int_type).release())
const type_declarator	row_of_vec_type (copy(&vec_type).release())
const type_declarator	row_row_of_int_type (copy(&row_of_int_type).release())
const type_declarator int_int_type *	make_type ("(int, int)")
type_ptr	copy (const type_declarator *t)
type_list_ptr	make_type_list (type_ptr t, type_list_ptr l)
type_list_ptr	make_type_singleton (type_ptr t)
size_t	length (type_list l)
std::ostream &	operator<< (std::ostream &out, type_list l)
std::ostream &	operator<< (std::ostream &out, const type_declarator &t)
bool	operator== (const type_declarator &x, const type_declarator &y)
type_ptr	make_undetermined_type ()
type_ptr	make_prim_type (primitive_tag p)
type_ptr	make_row_type (type_ptr c)
type_ptr	make_tuple_type (type_list_ptr l)
type_ptr	make_function_type (type_ptr a, type_ptr r)
type_ptr	scan_type (const char *&s)
type_list_ptr	scan_type_list (const char *&s)
type_ptr	make_type (const char *s)
std::ostream &	operator<< (std::ostream &out, const value_base &v)
void	clear_execution_stack ()
value	evaluate (expr e) throw (std::bad_alloc,std::logic_error,std::runtime_error)
type_ptr	find_type (expr e) throw (std::bad_alloc,program_error)
void	check_type (const type_declarator &t, expr &e) throw (std::bad_alloc,program_error)
expression	convert_expr (const expr &e, type_declarator &type) throw (std::bad_alloc,program_error)
bool	coerce (const type_declarator &from_type, const type_declarator &to_type, expression &e) throw (std::bad_alloc)
latticetypes::Weight	row_to_weight (const row_value &r)
latticetypes::Weight	cast_intlist_to_weight (const value v)
latticetypes::LatticeMatrix	cast_intlistlist_to_latmat (const value v)
value	weight_to_row (const latticetypes::Weight v)
void	push_tuple_components ()
void	wrap_tuple (size_t n)
std::ostream &	operator<< (std::ostream &out, const Id_table &p)
void	intlist_to_weight_wrapper ()
void	intlistlist_to_latmat_wrapper ()
void	id_wrapper ()
void	plus_wrapper ()
void	minus_wrapper ()
void	times_wrapper ()
void	divide_wrapper ()
void	modulo_wrapper ()
void	unary_minus_wrapper ()
void	divmod_wrapper ()
void	print_wrapper ()
void	id_mat_wrapper ()
void	transpose_mat_wrapper ()
void	diagonal_wrapper ()
void	mv_prod_wrapper ()
void	mm_prod_wrapper ()
void	invfact_wrapper ()
void	Smith_basis_wrapper ()
void	Smith_wrapper ()
void	invert_wrapper ()
void	initialise_evaluator ()
type_ptr	analyse_types (const expr &e, expression &p) throw (std::bad_alloc,std::runtime_error)
void	global_set_identifier (expr_list ids, expr rhs)
void	type_of_expr (expr e)
void	show_ids ()
bool	operator!= (const type_declarator &x, const type_declarator &y)
std::ostream &	operator<< (std::ostream &out, const expression_base &e)
template<typename T>
std::string	num (T n)
template<typename D>
D *	force (value v) throw (std::logic_error)
void	push_value (value v)
template<typename D>
void	push_value (std::auto_ptr< D > v)
value	pop_value ()
template<typename D>
D *	get () throw (std::logic_error)
void	install_function (wrapper_function f, const char name, const char type)
char *	id_completion_func (const char *text, int state)
std::ostream &	operator<< (std::ostream &out, expr e)
size_t	length (expr_list l)
Variables
BufferedInput *	main_input_buffer = NULL
const char *	prim_names []
const type_declarator	unknown_type
const type_declarator	int_type (integral_type)
const type_declarator	str_type (string_type)
const type_declarator	bool_type (boolean_type)
const type_declarator	vec_type (vector_type)
const type_declarator	mat_type (matrix_type)
std::vector< value >	execution_stack
conversion_info	coerce_table []
const size_t	nr_coercions = sizeof(coerce_table)/sizeof(conversion_info)
Id_table *	global_id_table = NULL
int	verbosity = 0
std::ostream *	output_stream = &std::cout
const type_declarator	row_of_type
const type_declarator	row_of_int_type
const type_declarator	row_of_vec_type
const type_declarator	row_row_of_int_type
const type_declarator	int_int_type
Hash_table *	main_hash_table = NULL
Lexical_analyser *	lex = NULL