C# (CSharp) Microsoft.Automata RegexToSMTConverter.ConvertRegex Exemples

ConvertRegex() public méthode

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
Résultat	string

Exemple #1

Fichier : RegexToSMTTests.cs Projet : AutomataDotNet/Automata

 public void TestRegexBV16toSMT()
 {
     var conv = new RegexToSMTConverter(BitWidth.BV16, "CHAR");
     var res = conv.ConvertRegex(large);
     Console.WriteLine(res);
 }