C# Class Microsoft.Automata.RegexToSMTConverter

Show file Open project: AutomataDotNet/Automata Class Usage Examples

Private Properties

Property 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

Public Methods

Method 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

Method 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 method

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
return string

ConvertSeq() public method

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
return string

RegexToSMTConverter() public method

public RegexToSMTConverter ( BitWidth encoding ) : System
encoding BitWidth
return System

RegexToSMTConverter() public method

public RegexToSMTConverter ( BitWidth encoding, string charSortAlias ) : System
encoding BitWidth
charSortAlias string
return System