Namespace List

Here is a list of all namespaces with brief descriptions:

[detail level 12]

▼Ngymbo
CGDOptimizer	Gradient Descent Optimizer for Symbolic Path Constraints
CNode	Structure representing a node in the Abstract Syntax Tree (AST)
CPSExecutor	Represents a derived class for symbolic execution engine for probabilistic programs
CBaseExecutor	Represents the base class for symbolic execution engine
CSExecutor	Represents a derived class for symbolic execution engine for deterministic programs
CToken	Structure representing a token
CInstr	Class representing an instruction
CGrad	Struct representing the gradient of a symbolic expression
CSym	Struct representing a symbolic expression
CDiscreteDist	Represents a discrete probability distribution
CDiscreteUniformDist	Represents a discrete uniform distribution derived from DiscreteDist
CBernoulliDist	Represents a bernoulli distribution derived from DiscreteDist
CBinomialDist	Represents a binomial distribution derived from DiscreteDist
CSymProb	Represents a symbolic probability with a numerator and denominator
CSymState	Struct representing the symbolic state of the symbolic execution
CTrace	Struct representing a trace in symbolic execution
CLLNode	Node for a Doubly Linked List
CLinkedlist	Doubly Linked List Implementation
▼Ngymbosat
CExpr	Base class for representing logical expressions
CVar	Class representing a variable in a logical expression
CAnd	Class representing the logical AND operation
COr	Class representing the logical OR operation
CNot	Class representing the logical NOT operation
CConst	Class representing a boolean constant in a logical expression