C# (CSharp) WellFormedNames Namespace

Nested Namespaces

WellFormedNames.Exceptions

Classes

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)