replicode
Classes | Typedefs | Enumerations | Functions | Variables
r_exec Namespace Reference

Classes

class  _Context
 
class  _Fact
 
class  _GMonitor
 
class  _Mem
 
class  _PGMController
 
class  _ReductionJob
 
class  _TPX
 
class  ACGuardBuilder
 
class  AGuardBuilder
 
class  AntiFact
 
class  AntiPGMController
 
class  AntiPGMOverlay
 
class  AntiPGMSignalingJob
 
class  ASTController
 
class  AsyncInjectionJob
 
class  AtomValue
 
class  AutoFocusController
 
class  BatchReductionJob
 
class  BindingMap
 
class  BoundValue
 
class  Callbacks
 
class  CInput
 
class  CmdGuardBuilder
 
class  ConstGuardBuilder
 
class  Context
 
class  Controller
 
class  CPPPrograms
 
class  CSTController
 
class  CSTOverlay
 
class  CTPX
 
class  EInjectionJob
 
class  Fact
 
class  GMonitor
 
class  Goal
 
class  Group
 
class  GTPX
 
class  GuardBuilder
 
class  HASTController
 
class  HLPBindingMap
 
class  HLPContext
 
class  HLPController
 
class  HLPOverlay
 
class  ICST
 
class  InjectionJob
 
class  Input
 
class  InputLessPGMController
 
class  InputLessPGMOverlay
 
class  InputLessPGMSignalingJob
 
class  IPGMContext
 
class  LObject
 
class  MCGuardBuilder
 
class  MDLController
 
class  MDLOverlay
 
class  Mem
 
class  MemStatic
 
class  MemVolatile
 
class  MGuardBuilder
 
class  MkActChg
 
class  MkHighAct
 
class  MkHighSln
 
class  MkLowAct
 
class  MkLowRes
 
class  MkLowSln
 
class  MkNew
 
class  MkRdx
 
class  MkSlnChg
 
class  ModelBase
 
class  Monitor
 
class  MonitoringJob
 
class  NoArgCmdGuardBuilder
 
class  NotificationView
 
class  Object
 
class  ObjectValue
 
class  OController
 
class  Opcodes
 
class  Operator
 
class  Overlay
 
class  PASTController
 
class  Perf
 
class  PerfSamplingJob
 
class  PGMController
 
class  PGMOverlay
 
class  PMDLController
 
class  PMonitor
 
class  Pred
 
class  PrimaryMDLController
 
class  PrimaryMDLOverlay
 
class  PTPX
 
class  ReductionJob
 
class  Requirements
 
class  RMonitor
 
class  SaliencyPropagationJob
 
class  SecondaryMDLController
 
class  SecondaryMDLOverlay
 
class  SGMonitor
 
class  SGuardBuilder
 
class  ShutdownReductionCore
 
class  ShutdownTimeCore
 
class  SignalingJob
 
class  Sim
 
class  SRMonitor
 
class  StructureValue
 
class  Success
 
class  TDecompiler
 
class  TimeJob
 
class  TimingGuardBuilder
 
class  TopLevelMDLController
 
class  TPX
 
class  UnboundValue
 
class  UpdateJob
 
class  Value
 
class  View
 

Typedefs

typedef std::pair< Requirements, RequirementsRequirementsPair
 

Enumerations

enum  MatchResult { MATCH_SUCCESS_POSITIVE = 0, MATCH_SUCCESS_NEGATIVE = 1, MATCH_FAILURE = 2 }
 
enum  SimMode { SIM_ROOT = 0, SIM_OPTIONAL = 1, SIM_MANDATORY = 2 }
 
enum  ChainingStatus {
  WR_DISABLED = 0, SR_DISABLED_NO_WR = 1, SR_DISABLED_WR = 2, WR_ENABLED = 3,
  NO_R = 4
}
 

Functions

bool match (const IPGMContext &input, const IPGMContext &pattern)
 
bool match (const IPGMContext &input, const IPGMContext &pattern, const IPGMContext &productions, std::vector< uint16_t > &production_indices)
 
void reduce (const IPGMContext &context, const IPGMContext &input_set, const IPGMContext &section, std::vector< uint16_t > &input_indices, std::vector< uint16_t > &production_indices)
 
r_comp::MetadatagetMetadata ()
 
r_comp::ImagegetSeed ()
 
bool Compile (const char *filename, std::string &error, bool compile_metadata)
 
uint16_t RetrieveOpcode (const char *name)
 
bool Init (const char *user_operator_library_path, uint64_t(*time_base)())
 
bool Init (const char *user_operator_library_path, uint64_t(*time_base)(), const char *seed_path)
 
bool Init (const char *user_operator_library_path, uint64_t(*time_base)(), const r_comp::Metadata &metadata, const r_comp::Image &seed)
 
uint16_t GetOpcode (const char *name)
 
std::string GetAxiomName (const uint16_t index)
 
bool Compile (const char *filename, string &error, bool compile_metadata=false)
 
bool IsNotification (Code *object)
 
bool now (const Context &context, uint16_t &index)
 
bool rnd (const Context &context, uint16_t &index)
 
bool equ (const Context &context, uint16_t &index)
 
bool neq (const Context &context, uint16_t &index)
 
bool gtr (const Context &context, uint16_t &index)
 
bool lsr (const Context &context, uint16_t &index)
 
bool gte (const Context &context, uint16_t &index)
 
bool lse (const Context &context, uint16_t &index)
 
bool add (const Context &context, uint16_t &index)
 
bool sub (const Context &context, uint16_t &index)
 
bool mul (const Context &context, uint16_t &index)
 
bool div (const Context &context, uint16_t &index)
 
bool dis (const Context &context, uint16_t &index)
 
bool ln (const Context &context, uint16_t &index)
 
bool exp (const Context &context, uint16_t &index)
 
bool log (const Context &context, uint16_t &index)
 
bool e10 (const Context &context, uint16_t &index)
 
bool syn (const Context &context, uint16_t &index)
 
bool ins (const Context &context, uint16_t &index)
 
bool red (const Context &context, uint16_t &index)
 
bool fvw (const Context &context, uint16_t &index)
 
void runReductionCore ()
 
void delegatedCoreWait (TimeJob *job)
 
void runTimeCore ()
 

Variables

dll_export uint64_t(* Now )()
 
static std::unordered_map< std::string, uint16_t > _Opcodes
 
dll_export r_comp::Compiler Compiler
 
dll_export r_comp::Preprocessor Preprocessor
 
SharedLibrary userOperatorLibrary
 
std::mutex oidMutex
 

Typedef Documentation

Enumeration Type Documentation

Enumerator
WR_DISABLED 
SR_DISABLED_NO_WR 
SR_DISABLED_WR 
WR_ENABLED 
NO_R 
Enumerator
MATCH_SUCCESS_POSITIVE 
MATCH_SUCCESS_NEGATIVE 
MATCH_FAILURE 
Enumerator
SIM_ROOT 
SIM_OPTIONAL 
SIM_MANDATORY 

Function Documentation

bool r_exec::add ( const Context context,
uint16_t &  index 
)

Here is the call graph for this function:

Here is the caller graph for this function:

bool r_exec::Compile ( const char *  filename,
string &  error,
bool  compile_metadata = false 
)
bool r_exec::Compile ( const char *  filename,
std::string &  error,
bool  compile_metadata 
)

Here is the call graph for this function:

Here is the caller graph for this function:

void r_exec::delegatedCoreWait ( TimeJob job)

Here is the call graph for this function:

Here is the caller graph for this function:

bool r_exec::dis ( const Context context,
uint16_t &  index 
)

Here is the call graph for this function:

Here is the caller graph for this function:

bool r_exec::div ( const Context context,
uint16_t &  index 
)

Here is the call graph for this function:

Here is the caller graph for this function:

bool r_exec::e10 ( const Context context,
uint16_t &  index 
)

Here is the call graph for this function:

Here is the caller graph for this function:

bool r_exec::equ ( const Context context,
uint16_t &  index 
)

Here is the call graph for this function:

Here is the caller graph for this function:

bool r_exec::exp ( const Context context,
uint16_t &  index 
)

Here is the call graph for this function:

Here is the caller graph for this function:

bool r_exec::fvw ( const Context context,
uint16_t &  index 
)

Here is the call graph for this function:

Here is the caller graph for this function:

std::string dll_export r_exec::GetAxiomName ( const uint16_t  index)
dll_export r_comp::Metadata * r_exec::getMetadata ( )

Here is the caller graph for this function:

uint16_t dll_export r_exec::GetOpcode ( const char *  name)
dll_export r_comp::Image * r_exec::getSeed ( )

Here is the caller graph for this function:

bool r_exec::gte ( const Context context,
uint16_t &  index 
)

Here is the call graph for this function:

Here is the caller graph for this function:

bool r_exec::gtr ( const Context context,
uint16_t &  index 
)

Here is the call graph for this function:

Here is the caller graph for this function:

bool r_exec::Init ( const char *  user_operator_library_path,
uint64_t(*)()  time_base 
)

Here is the call graph for this function:

Here is the caller graph for this function:

bool dll_export r_exec::Init ( const char *  user_operator_library_path,
uint64_t(*)()  time_base,
const char *  seed_path 
)

Here is the call graph for this function:

bool dll_export r_exec::Init ( const char *  user_operator_library_path,
uint64_t(*)()  time_base,
const r_comp::Metadata metadata,
const r_comp::Image seed 
)

Here is the call graph for this function:

bool r_exec::ins ( const Context context,
uint16_t &  index 
)

Here is the call graph for this function:

Here is the caller graph for this function:

dll_export bool r_exec::IsNotification ( Code object)

Here is the call graph for this function:

bool r_exec::ln ( const Context context,
uint16_t &  index 
)

Here is the call graph for this function:

Here is the caller graph for this function:

bool r_exec::log ( const Context context,
uint16_t &  index 
)

Here is the call graph for this function:

Here is the caller graph for this function:

bool r_exec::lse ( const Context context,
uint16_t &  index 
)

Here is the call graph for this function:

Here is the caller graph for this function:

bool r_exec::lsr ( const Context context,
uint16_t &  index 
)

Here is the call graph for this function:

Here is the caller graph for this function:

bool r_exec::match ( const IPGMContext input,
const IPGMContext pattern 
)

Here is the call graph for this function:

Here is the caller graph for this function:

bool r_exec::match ( const IPGMContext input,
const IPGMContext pattern,
const IPGMContext productions,
std::vector< uint16_t > &  production_indices 
)

Here is the call graph for this function:

Here is the caller graph for this function:

bool r_exec::mul ( const Context context,
uint16_t &  index 
)

Here is the call graph for this function:

Here is the caller graph for this function:

bool r_exec::neq ( const Context context,
uint16_t &  index 
)

Here is the call graph for this function:

Here is the caller graph for this function:

bool r_exec::now ( const Context context,
uint16_t &  index 
)

Here is the call graph for this function:

bool r_exec::red ( const Context context,
uint16_t &  index 
)

Here is the call graph for this function:

Here is the caller graph for this function:

void r_exec::reduce ( const IPGMContext context,
const IPGMContext input_set,
const IPGMContext section,
std::vector< uint16_t > &  input_indices,
std::vector< uint16_t > &  production_indices 
)

Here is the call graph for this function:

Here is the caller graph for this function:

uint16_t r_exec::RetrieveOpcode ( const char *  name)

Here is the caller graph for this function:

bool r_exec::rnd ( const Context context,
uint16_t &  index 
)

Here is the call graph for this function:

Here is the caller graph for this function:

void r_exec::runReductionCore ( )

Here is the call graph for this function:

Here is the caller graph for this function:

void r_exec::runTimeCore ( )

Here is the call graph for this function:

Here is the caller graph for this function:

bool r_exec::sub ( const Context context,
uint16_t &  index 
)

Here is the call graph for this function:

Here is the caller graph for this function:

bool r_exec::syn ( const Context context,
uint16_t &  index 
)

Here is the caller graph for this function:

Variable Documentation

std::unordered_map<std::string, uint16_t> r_exec::_Opcodes
static
dll_export r_comp::Compiler r_exec::Compiler
dll_export uint64_t(* r_exec::Now)()
std::mutex r_exec::oidMutex
dll_export r_comp::Preprocessor r_exec::Preprocessor
SharedLibrary r_exec::userOperatorLibrary