Свойство | Тип | Описание | |
---|---|---|---|
ConvertNode | void | ||
ConvertNodeAlternate | void | ||
ConvertNodeBeginning | void | ||
ConvertNodeBol | void | ||
ConvertNodeConcatenate | void | ||
ConvertNodeEmpty | void | ||
ConvertNodeEnd | void | ||
ConvertNodeEndZ | void | ||
ConvertNodeEol | void | ||
ConvertNodeLoop | void | ||
ConvertNodeMulti | void | ||
ConvertNodeNotone | void | ||
ConvertNodeNotoneloop | void | ||
ConvertNodeOne | void | ||
ConvertNodeOneloop | void | ||
ConvertNodeSet | void | ||
ConvertNodeSetloop | void | ||
EscapeCharSMT | string | ||
GetSMTRanges | string | ||
NegateSingletonSet | string | ||
ToBitVectorRepr16 | string | ||
ToBitVectorRepr7 | string | ||
ToBitVectorRepr8 | string | ||
WriteLoop | void |
Метод | Описание | |
---|---|---|
ConvertRegex ( string regex ) : string |
Convert a .Net regex to equivalent SMT lib format expression as a string
|
|
ConvertSeq ( string seq ) : string |
Convert a string to equivalent SMT lib format expression as a sequence of characters.
|
|
RegexToSMTConverter ( BitWidth encoding ) : System | ||
RegexToSMTConverter ( BitWidth encoding, string charSortAlias ) : System |
Метод | Описание | |
---|---|---|
ConvertNode ( |
||
ConvertNodeAlternate ( |
||
ConvertNodeBeginning ( |
||
ConvertNodeBol ( |
||
ConvertNodeConcatenate ( |
||
ConvertNodeEmpty ( |
||
ConvertNodeEnd ( |
||
ConvertNodeEndZ ( |
||
ConvertNodeEol ( |
||
ConvertNodeLoop ( |
||
ConvertNodeMulti ( |
||
ConvertNodeNotone ( |
||
ConvertNodeNotoneloop ( |
||
ConvertNodeOne ( |
||
ConvertNodeOneloop ( |
||
ConvertNodeSet ( |
||
ConvertNodeSetloop ( |
||
EscapeCharSMT ( char c ) : string |
Escape a character for SMT lib converter.
|
|
GetSMTRanges ( uint>.IList |
||
NegateSingletonSet ( char c ) : string | ||
ToBitVectorRepr16 ( int i ) : string | ||
ToBitVectorRepr7 ( int i ) : string | ||
ToBitVectorRepr8 ( int i ) : string | ||
WriteLoop ( string cond, int m, int n ) : void |
public ConvertRegex ( string regex ) : string | ||
regex | string | the given .NET regex pattern |
Результат | string |
public ConvertSeq ( string seq ) : string | ||
seq | string | given string that denotes a sequence of characters |
Результат | string |
public RegexToSMTConverter ( BitWidth encoding ) : System | ||
encoding | BitWidth | |
Результат | System |
public RegexToSMTConverter ( BitWidth encoding, string charSortAlias ) : System | ||
encoding | BitWidth | |
charSortAlias | string | |
Результат | System |