Method | Description | |
---|---|---|
TestMatchAllCases_Invalid ( ) : IEnumerable |
||
TestMatchAllCases_Valid ( ) : IEnumerable |
||
TestUnifyCases_Invalid ( ) : IEnumerable |
||
TestUnifyCases_Valid ( ) : IEnumerable |
||
Test_NameSearchTree_Count_Cases ( ) : IEnumerable |
Method | Description | |
---|---|---|
BuildInput ( ) : NameSearchTree |
||
BuildSet ( ) : SubstitutionSet | ||
BuildUnifyResult ( ) : SubstitutionSet>>.IEnumerable |
public static TestMatchAllCases_Invalid ( ) : IEnumerable |
||
return | IEnumerable |
public static TestMatchAllCases_Valid ( ) : IEnumerable |
||
return | IEnumerable |
public static TestUnifyCases_Invalid ( ) : IEnumerable |
||
return | IEnumerable |
public static TestUnifyCases_Valid ( ) : IEnumerable |
||
return | IEnumerable |
public static Test_NameSearchTree_Count_Cases ( ) : IEnumerable |
||
return | IEnumerable |