C# 클래스 Microsoft.Automata.Rex.RexEngine

Provides a member generator for regexes

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

공개 메소드들

메소드	설명
AreEquivalent ( Automaton aut1, Automaton aut2 ) : bool	Returns true iff aut1 and aut2 accept the same set of strings.
Complement ( Automaton aut ) : Automaton	Complement the automaton
CreateFromRegexes ( ) : Automaton	Create a product of the automata of the given regexes.
CreateFromRegexes ( RegexOptions options ) : Automaton	Create a product of the automata of the given regexes.
Describe ( BDD label ) : string
DeserializeDAG ( string dag ) : Automaton	Recreate an automaton from a string that has been produced with SerializeDAG.
Escape ( char c ) : string	Make an escaped string from a character
Escape ( string s ) : string	Make an escaped string from a string
GenerateMember ( Automaton fa ) : string	Gets the random seed of the generator Generates a random member accepted by fa. Assumes that fa has no dead states, or else termination is not guaranteed.
GenerateMemberUniformly ( Automaton fa ) : string	Generates a random member accepted by fa with uniform distribution among strings accepted by the sfa. Assumes that the fa is deterministic and loopfree.
GenerateMembers ( Automaton sfa, int k ) : IEnumerable	Generates at most k distinct strings in the language of the sfa. The enumeration is empty if the language is empty.
GenerateMembers ( RegexOptions options, int k ) : IEnumerable	Generates at most k distinct strings that match all the given regexes. The enumeration is empty if there are no strings that match all the regexes.
Intersect ( ) : Automaton	Intersect two (or more) automata.
IsMatch ( string input, string regex, RegexOptions options ) : bool	Invokes System.Text.RegularExpressions.Regex.IsMatch(input, regex, options)
Minimize ( Automaton aut ) : Automaton	Minimize the automaton
RexEngine ( BitWidth encoding ) : System	Create a regex member generator for the given character encoding and the given random seed Create a regex member generator for the given character encoding.
SerializeDAG ( Automaton aut ) : string	Create a string encoding of the given automaton with probabilities.

비공개 메소드들

메소드	설명
RexEngine ( CharSetSolver solver ) : System
ToUnicodeRepr ( int i ) : string

메소드 상세

AreEquivalent() 공개 메소드

Returns true iff aut1 and aut2 accept the same set of strings.

public AreEquivalent ( Automaton aut1, Automaton aut2 ) : bool
aut1	Automaton
aut2	Automaton
리턴	bool

Complement() 공개 메소드

Complement the automaton

public Complement ( Automaton aut ) : Automaton
aut	Automaton
리턴	Automaton

CreateFromRegexes() 공개 메소드

Create a product of the automata of the given regexes.

public CreateFromRegexes ( ) : Automaton
리턴	Automaton

CreateFromRegexes() 공개 메소드

Create a product of the automata of the given regexes.

public CreateFromRegexes ( RegexOptions options ) : Automaton
options	RegexOptions
리턴	Automaton

Describe() 공개 메소드

public Describe ( BDD label ) : string
label	BDD
리턴	string

DeserializeDAG() 공개 메소드

Recreate an automaton from a string that has been produced with SerializeDAG.

public DeserializeDAG ( string dag ) : Automaton
dag	string	string encoding of a deterministic and loopfree automaton with probabilities
리턴	Automaton

Escape() 공개 정적인 메소드

Make an escaped string from a character

public static Escape ( char c ) : string
c	char
리턴	string

Escape() 공개 정적인 메소드

Make an escaped string from a string

public static Escape ( string s ) : string
s	string
리턴	string

GenerateMember() 공개 메소드

Gets the random seed of the generator Generates a random member accepted by fa. Assumes that fa has no dead states, or else termination is not guaranteed.

public GenerateMember ( Automaton fa ) : string
fa	Automaton
리턴	string

GenerateMemberUniformly() 공개 메소드

Generates a random member accepted by fa with uniform distribution among strings accepted by the sfa. Assumes that the fa is deterministic and loopfree.

public GenerateMemberUniformly ( Automaton fa ) : string
fa	Automaton
리턴	string

GenerateMembers() 공개 메소드

Generates at most k distinct strings in the language of the sfa. The enumeration is empty if the language is empty.

public GenerateMembers ( Automaton sfa, int k ) : IEnumerable
sfa	Automaton
k	int
리턴	IEnumerable

GenerateMembers() 공개 메소드

Generates at most k distinct strings that match all the given regexes. The enumeration is empty if there are no strings that match all the regexes.

public GenerateMembers ( RegexOptions options, int k ) : IEnumerable
options	RegexOptions	regular expression options
k	int	number of members to be generated
리턴	IEnumerable

Intersect() 공개 메소드

Intersect two (or more) automata.

public Intersect ( ) : Automaton
리턴	Automaton

IsMatch() 공개 정적인 메소드

Invokes System.Text.RegularExpressions.Regex.IsMatch(input, regex, options)

public static IsMatch ( string input, string regex, RegexOptions options ) : bool
input	string
regex	string
options	RegexOptions
리턴	bool

Minimize() 공개 메소드

Minimize the automaton

public Minimize ( Automaton aut ) : Automaton
aut	Automaton
리턴	Automaton

RexEngine() 공개 메소드

Create a regex member generator for the given character encoding and the given random seed Create a regex member generator for the given character encoding.

public RexEngine ( BitWidth encoding ) : System
encoding	BitWidth	character encoding
리턴	System

SerializeDAG() 공개 메소드

Create a string encoding of the given automaton with probabilities.

public SerializeDAG ( Automaton aut ) : string
aut	Automaton	deterministic and loopfree automaton
리턴	string