C# Класс Microsoft.Automata.RegexToSMTConverter

Показать файл Открыть проект Примеры использования класса

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