Gymbo

Class Hierarchy

Go to the graphical class hierarchy

This inheritance list is sorted roughly, but not completely, alphabetically:
[detail level 123]

▼C gymbo::BaseExecutor | Represents the base class for symbolic execution engine
C gymbo::PSExecutor | Represents a derived class for symbolic execution engine for probabilistic programs
C gymbo::SExecutor | Represents a derived class for symbolic execution engine for deterministic programs
▼C gymbo::DiscreteDist | Represents a discrete probability distribution
C gymbo::BernoulliDist | Represents a bernoulli distribution derived from DiscreteDist
C gymbo::BinomialDist | Represents a binomial distribution derived from DiscreteDist
C gymbo::DiscreteUniformDist | Represents a discrete uniform distribution derived from DiscreteDist
▼Cstd::enable_shared_from_this |
▼C gymbosat::Expr | Base class for representing logical expressions
C gymbosat::And | Class representing the logical AND operation
C gymbosat::Const | Class representing a boolean constant in a logical expression
C gymbosat::Not | Class representing the logical NOT operation
C gymbosat::Or | Class representing the logical OR operation
C gymbosat::Var | Class representing a variable in a logical expression
C gymbo::GDOptimizer | Gradient Descent Optimizer for Symbolic Path Constraints
C gymbo::Grad | Struct representing the gradient of a symbolic expression
C gymbo::Instr | Class representing an instruction
C gymbo::Linkedlist< T > | Doubly Linked List Implementation
C gymbo::Linkedlist< gymbo::Sym > |
C gymbo::LLNode< T > | Node for a Doubly Linked List
C gymbo::Node | Structure representing a node in the Abstract Syntax Tree (AST)
C gymbo::Sym | Struct representing a symbolic expression
C gymbo::SymProb | Represents a symbolic probability with a numerator and denominator
C gymbo::SymState | Struct representing the symbolic state of the symbolic execution
C gymbo::Token | Structure representing a token
C gymbo::Trace | Struct representing a trace in symbolic execution