| Name |
Description |
| Literal |
|
| Name.Symbol |
|
| NameSerializationFormatter |
|
| SimpleName |
|
| SimpleUnifier |
|
| SimpleWFN |
This is an experiment to try and reproduce the same functionality of the WFN project but without using objects that have behavior. |
| SubstitutionSerializationFormatter |
|
| SubstitutionSet.ConstraintSubstitutionSetImplementation |
|
| SubstitutionSet.ConstraintSubstitutionSetImplementation.Constraint |
|
| SubstitutionSet.SimpleImplementation |
|
| SubstitutionSetSerializationFormatter |
|
| Unifier |
Static Class that implements the Unifying algorithm @author: João Dias @author: Pedro Gonçalves (C# version) |