ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
andersent::constraintt Struct Reference

#include <andersen.h>

Public Attributes

constraint_kindt kind
node_id lhs
node_id rhs

Member Data Documentation

◆ kind

constraint_kindt andersent::constraintt::kind

◆ lhs

node_id andersent::constraintt::lhs

◆ rhs

node_id andersent::constraintt::rhs

The documentation for this struct was generated from the following file: