• 홈
• Automata
• Z3
• Tests
• Z3_STTests

C# 클래스 Automata.Z3.Tests.Z3_STTests

파일 보기 프로젝트 열기: AutomataDotNet/Automata

공개 메소드들

메소드	설명
TestCompositionOfDecode ( ) : void
TestCompositionOfDecode2 ( ) : void
TestCompositionOfDecode3 ( ) : void
TestCompositionOfDecodeWithFinals ( ) : void

비공개 메소드들

메소드	설명
ApplyHtmlDecode ( int composecount, string instr ) : string
MkDecode ( Microsoft.Automata.STBuilder stb, Microsoft.Z3.Sort charSort ) : Microsoft.Automata.ST
MkDecodeWithBug ( Microsoft.Automata.STBuilder stb, Microsoft.Z3.Sort charSort ) : Microsoft.Automata.ST
MkDecodeWithFinalOutputs ( Microsoft.Automata.STBuilder stb, Microsoft.Z3.Sort charSort ) : Microsoft.Automata.ST
MkGetTags ( Microsoft.Automata.STBuilder stb, Microsoft.Z3.Sort charSort ) : Microsoft.Automata.ST	The buggy version of GetTags
MkGetTags2 ( Microsoft.Automata.STBuilder stb, Microsoft.Z3.Sort charSort ) : Microsoft.Automata.ST	The corrected version of GetTags
TestCompositionOfDecodeWithFinals ( Microsoft.Automata.STBuilder stb, Microsoft.Z3.Sort charSort ) : void
TestCompositionOfGetTags ( ) : void
TestDecodeAxioms ( ) : void
TestDecodeAxioms ( Microsoft.Automata.STBuilder stb, Microsoft.Z3.Sort charSort ) : void
TestDecodeAxioms2 ( ) : void
TestDecodeAxioms2 ( Microsoft.Automata.STBuilder stb, Microsoft.Z3.Sort charSort ) : void
TestDecodeVsDecodeWithBug ( ) : void
TestGetTagsAxioms1 ( ) : void
TestGetTagsAxioms1 ( Microsoft.Automata.STBuilder stb, Microsoft.Z3.Sort charSort ) : void
TestGetTagsAxioms2 ( ) : void
TestGetTagsAxioms2 ( Microsoft.Automata.STBuilder stb, Microsoft.Z3.Sort charSort ) : void
TestGetTagsVsGetTags2 ( ) : void
TestIdempotenceOfDecode ( Microsoft.Automata.STBuilder stb, Microsoft.Z3.Sort charSort ) : void
TestIdempotenceOfDecode2 ( Microsoft.Automata.STBuilder stb, Microsoft.Z3.Sort charSort ) : void
TestIdempotenceOfDecode3 ( Microsoft.Automata.STBuilder stb, Microsoft.Z3.Sort charSort ) : void
TestSTdomRestr ( ) : void
TestSTranRestr ( ) : void

메소드 상세