cprover
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 Member Functions

void clear ()
 Clear all constraints. More...
 

Public Attributes

std::vector< exprtexistential
 
std::vector< string_constrainttuniversal
 
std::vector< string_not_contains_constrainttnot_contains
 

Detailed Description

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

Definition at line 108 of file string_constraint_generator.h.

Member Function Documentation

◆ clear()

void string_constraintst::clear ( void  )

Clear all constraints.

Definition at line 217 of file string_constraint_generator_main.cpp.

Member Data Documentation

◆ existential

std::vector<exprt> string_constraintst::existential

Definition at line 110 of file string_constraint_generator.h.

◆ not_contains

std::vector<string_not_contains_constraintt> string_constraintst::not_contains

Definition at line 112 of file string_constraint_generator.h.

◆ universal

std::vector<string_constraintt> string_constraintst::universal

Definition at line 111 of file string_constraint_generator.h.


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