C# Class Microsoft.Automata.Internal.Utilities.HelperPredicates

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

Méthodes publiques

Méthode	Description
GeneratePredicate ( BDD pred ) : string
HelperPredicates ( CharSetSolver solver, bool OptimzeForAsciiInput ) : System
ToString ( ) : string

Private Methods

Méthode	Description
GenerateCodeForBDD ( StringBuilder code, BDD pred, string methid ) : void
GeneratePredicateHelper ( BDD pred ) : string
RangesToCode ( uint>.Pair ranges ) : string
RangesToCode2 ( uint>.Pair ranges, int first, int last ) : string
RangesToCode3 ( uint>.Pair ranges, int first, int last ) : string

Method Details

GeneratePredicate() public méthode

public GeneratePredicate ( BDD pred ) : string
pred	BDD
Résultat	string

HelperPredicates() public méthode

public HelperPredicates ( CharSetSolver solver, bool OptimzeForAsciiInput ) : System
solver	CharSetSolver
OptimzeForAsciiInput	bool
Résultat	System

ToString() public méthode

public ToString ( ) : string
Résultat	string