C# 클래스 Microsoft.Automata.RegexToSMTConverter

파일 보기 프로젝트 열기: AutomataDotNet/Automata 1 사용 예제들

Private Properties

프로퍼티 타입 설명
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 ( 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

메소드 상세

ConvertRegex() 공개 메소드

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
리턴 string

ConvertSeq() 공개 메소드

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
리턴 string

RegexToSMTConverter() 공개 메소드

public RegexToSMTConverter ( BitWidth encoding ) : System
encoding BitWidth
리턴 System

RegexToSMTConverter() 공개 메소드

public RegexToSMTConverter ( BitWidth encoding, string charSortAlias ) : System
encoding BitWidth
charSortAlias string
리턴 System