C# Class Microsoft.Automata.RegexToSMTConverter

Afficher le fichier Open project: AutomataDotNet/Automata Class Usage Examples

Private Properties

Свойство Type Description
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

Méthodes publiques

Méthode Description
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

Private Methods

Méthode Description
ConvertNode ( RegexNode node ) : void
ConvertNodeAlternate ( RegexNode node ) : void
ConvertNodeBeginning ( RegexNode node ) : void
ConvertNodeBol ( RegexNode node ) : void
ConvertNodeConcatenate ( RegexNode node ) : void
ConvertNodeEmpty ( RegexNode node ) : void
ConvertNodeEnd ( RegexNode node ) : void
ConvertNodeEndZ ( RegexNode node ) : void
ConvertNodeEol ( RegexNode node ) : void
ConvertNodeLoop ( RegexNode node ) : void
ConvertNodeMulti ( RegexNode node ) : void
ConvertNodeNotone ( RegexNode node ) : void
ConvertNodeNotoneloop ( RegexNode node ) : void
ConvertNodeOne ( RegexNode node ) : void
ConvertNodeOneloop ( RegexNode node ) : void
ConvertNodeSet ( RegexNode node ) : void
ConvertNodeSetloop ( RegexNode node ) : void
EscapeCharSMT ( char c ) : string

Escape a character for SMT lib converter.
GetSMTRanges ( uint>.IList ranges ) : string
NegateSingletonSet ( char c ) : string
ToBitVectorRepr16 ( int i ) : string
ToBitVectorRepr7 ( int i ) : string
ToBitVectorRepr8 ( int i ) : string
WriteLoop ( string cond, int m, int n ) : void

Method Details

ConvertRegex() public méthode

Convert a .Net regex to equivalent SMT lib format expression as a string
public ConvertRegex ( string regex ) : string
regex string the given .NET regex pattern
Résultat string

ConvertSeq() public méthode

Convert a string to equivalent SMT lib format expression as a sequence of characters.
public ConvertSeq ( string seq ) : string
seq string given string that denotes a sequence of characters
Résultat string

RegexToSMTConverter() public méthode

public RegexToSMTConverter ( BitWidth encoding ) : System
encoding BitWidth
Résultat System

RegexToSMTConverter() public méthode

public RegexToSMTConverter ( BitWidth encoding, string charSortAlias ) : System
encoding BitWidth
charSortAlias string
Résultat System