CBMC
Loading...
Searching...
No Matches
Public Attributes | List of all members
string_axiomst Struct Reference

#include <string_refinement_util.h>

+ Collaboration diagram for string_axiomst:
[フレーム]
[legend]

Public Attributes

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

Detailed Description

Definition at line 65 of file string_refinement_util.h.

Member Data Documentation

◆  not_contains

std::vector<string_not_contains_constraintt> string_axiomst::not_contains

Definition at line 68 of file string_refinement_util.h.

◆  universal

std::vector<string_constraintt> string_axiomst::universal

Definition at line 67 of file string_refinement_util.h.

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

AltStyle によって変換されたページ (->オリジナル) /