Loading...

Searching...

No Matches

string_constraintst Struct Referencefinal

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

+ Collaboration diagram for string_constraintst:

Public Attributes

std::vector< exprt > existential

Detailed Description

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

std::vector<exprt> string_constraintst::existential

std::vector<string_not_contains_constraintt> string_constraintst::not_contains

std::vector<string_constraintt> string_constraintst::universal

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