CBMC
Public Attributes | List of all members
string_constraintst Struct Referencefinal

Collection of constraints of different types: existential formulas, universal formulas, and "not contains" (universal with one alternation). More...

#include <string_constraint_generator.h>

+ Collaboration diagram for string_constraintst:

Public Attributes

std::vector< exprt > existential
 
std::vector< string_constraintt > universal
 
std::vector< string_not_contains_constraintt > not_contains
 

Detailed Description

Collection of constraints of different types: existential formulas, universal formulas, and "not contains" (universal with one alternation).

Definition at line 38 of file string_constraint_generator.h.

Member Data Documentation

◆ existential

std::vector<exprt> string_constraintst::existential

Definition at line 40 of file string_constraint_generator.h.

◆ not_contains

std::vector<string_not_contains_constraintt> string_constraintst::not_contains

Definition at line 42 of file string_constraint_generator.h.

◆ universal

std::vector<string_constraintt> string_constraintst::universal

Definition at line 41 of file string_constraint_generator.h.

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