Classes
class	orbiter::layer1_foundations::orbiter_kernel_system::create_file_description
	rules to create text files More...

class	orbiter::layer1_foundations::orbiter_kernel_system::file_io
	a collection of functions related to file io More...

class	orbiter::layer1_foundations::orbiter_kernel_system::file_output
	a wrapper class for an ofstream which allows to store extra data More...

class	orbiter::layer1_foundations::orbiter_kernel_system::latex_interface
	interface to create latex output files More...

class	orbiter::layer1_foundations::orbiter_kernel_system::magma_interface
	interface to the computer algebra system MAGMA More...

class	orbiter::layer1_foundations::orbiter_kernel_system::mem_object_registry_entry
	a class related to mem_object_registry More...

class	orbiter::layer1_foundations::orbiter_kernel_system::mem_object_registry
	maintains a registry of allocated memory More...

class	orbiter::layer1_foundations::orbiter_kernel_system::memory_object
	for serialization of complex data types More...

class	orbiter::layer1_foundations::orbiter_kernel_system::orbiter_data_file
	read output files from the poset classification More...

class	orbiter::layer1_foundations::orbiter_kernel_system::orbiter_session
	The orbiter session is responsible for the command line interface and the program execution. More...

class	orbiter::layer1_foundations::orbiter_kernel_system::orbiter_symbol_table_entry
	symbol table to store data entries for the orbiter run-time system More...

class	orbiter::layer1_foundations::orbiter_kernel_system::orbiter_symbol_table
	symbol table to store data entries for the orbiter run-time system More...

class	orbiter::layer1_foundations::orbiter_kernel_system::os_interface
	interface to system functions More...

class	orbiter::layer1_foundations::orbiter_kernel_system::override_double
	to temporarily override a double variable with a new value More...

class	orbiter::layer1_foundations::orbiter_kernel_system::prepare_frames
	to prepare files using a unified file naming scheme More...

Namespaces
namespace	orbiter
	the orbiter library for the classification of combinatorial objects

namespace	orbiter::layer1_foundations
	algebra, combinatorics and graph theory, geometry, linear algebra, number theory, data structures, solvers, graphics; no group actions

namespace	orbiter::layer1_foundations::orbiter_kernel_system
	The Orbiter kernel. It contains functions related to memory management, os-interface, file-io etc.

Macros
#define	MAX_LINES 100

#define	REGISTRY_SIZE 1000

#define	POINTER_TYPE_INVALID 0

#define	POINTER_TYPE_int 1

#define	POINTER_TYPE_pint 2

#define	POINTER_TYPE_lint 3

#define	POINTER_TYPE_plint 4

#define	POINTER_TYPE_ppint 5

#define	POINTER_TYPE_pplint 6

#define	POINTER_TYPE_char 7

#define	POINTER_TYPE_uchar 8

#define	POINTER_TYPE_pchar 9

#define	POINTER_TYPE_puchar 10

#define	POINTER_TYPE_PVOID 11

#define	POINTER_TYPE_OBJECT 12

#define	POINTER_TYPE_OBJECTS 13

Enumerations
enum	orbiter::layer1_foundations::orbiter_kernel_system::symbol_table_entry_type { orbiter::layer1_foundations::orbiter_kernel_system::t_nothing , orbiter::layer1_foundations::orbiter_kernel_system::t_intvec , orbiter::layer1_foundations::orbiter_kernel_system::t_object , orbiter::layer1_foundations::orbiter_kernel_system::t_string }

Variables
orbiter_kernel_system::orbiter_session *	orbiter::layer1_foundations::orbiter_kernel_system::Orbiter
	global Orbiter session More...

Macro Definition Documentation

◆ MAX_LINES

#define MAX_LINES 100

Definition at line 29 of file orbiter_kernel_system.h.

◆ POINTER_TYPE_char

#define POINTER_TYPE_char 7

Definition at line 548 of file orbiter_kernel_system.h.

◆ POINTER_TYPE_int

#define POINTER_TYPE_int 1

Definition at line 542 of file orbiter_kernel_system.h.

◆ POINTER_TYPE_INVALID

#define POINTER_TYPE_INVALID 0

Definition at line 541 of file orbiter_kernel_system.h.

◆ POINTER_TYPE_lint

#define POINTER_TYPE_lint 3

Definition at line 544 of file orbiter_kernel_system.h.

◆ POINTER_TYPE_OBJECT

#define POINTER_TYPE_OBJECT 12

Definition at line 553 of file orbiter_kernel_system.h.

◆ POINTER_TYPE_OBJECTS

#define POINTER_TYPE_OBJECTS 13

Definition at line 554 of file orbiter_kernel_system.h.

◆ POINTER_TYPE_pchar

#define POINTER_TYPE_pchar 9

Definition at line 550 of file orbiter_kernel_system.h.

◆ POINTER_TYPE_pint

#define POINTER_TYPE_pint 2

Definition at line 543 of file orbiter_kernel_system.h.

◆ POINTER_TYPE_plint

#define POINTER_TYPE_plint 4

Definition at line 545 of file orbiter_kernel_system.h.

◆ POINTER_TYPE_ppint

#define POINTER_TYPE_ppint 5

Definition at line 546 of file orbiter_kernel_system.h.

◆ POINTER_TYPE_pplint

#define POINTER_TYPE_pplint 6

Definition at line 547 of file orbiter_kernel_system.h.

◆ POINTER_TYPE_puchar

#define POINTER_TYPE_puchar 10

Definition at line 551 of file orbiter_kernel_system.h.

◆ POINTER_TYPE_PVOID

#define POINTER_TYPE_PVOID 11

Definition at line 552 of file orbiter_kernel_system.h.

◆ POINTER_TYPE_uchar

#define POINTER_TYPE_uchar 8

Definition at line 549 of file orbiter_kernel_system.h.

◆ REGISTRY_SIZE

#define REGISTRY_SIZE 1000

Definition at line 540 of file orbiter_kernel_system.h.

Classes

Namespaces

Macros

Enumerations

Variables