TGRSIProof Class Reference

This Class allows proof to work with GRSI

Definition at line 42 of file TGRSIProof.h.

Public Member Functions
	TGRSIProof ()
	~TGRSIProof () override=default
void	LoadLibsIntoProof ()

Static Public Member Functions
static TGRSIProof *	Open (const char *worker="")

#include <TGRSIProof.h>

Inheritance diagram for TGRSIProof:

Collaboration diagram for TGRSIProof:

Constructor & Destructor Documentation

TGRSIProof()

TGRSIProof::TGRSIProof ( )

inline

Definition at line 44 of file TGRSIProof.h.

~TGRSIProof()

TGRSIProof::~TGRSIProof ( )

overridedefault

Member Function Documentation

LoadLibsIntoProof()

void TGRSIProof::LoadLibsIntoProof ( )

inline

Definition at line 54 of file TGRSIProof.h.

References DYELLOW, TGRSIOptions::Get(), TSingleton< TParserLibrary >::Get(), TParserLibrary::Load(), TGRSIOptions::ParserLibrary(), and RESET_COLOR.

Referenced by Open().

Open()

static TGRSIProof* TGRSIProof::Open ( const char *  worker = "" )

inlinestatic

Definition at line 48 of file TGRSIProof.h.

References LoadLibsIntoProof().

Referenced by main().