C# (CSharp) FunctionTerm.Substitute Examples

Example #1

File: Application.cs Project: julianbrunner/krach

 public override ValueTerm Substitute(Variable variable, ValueTerm substitute)
 {
     return(new Application
            (
                function.Substitute(variable, substitute),
                parameter.Substitute(variable, substitute)
            ));
 }