C# (CSharp) LogicalForm.CloneVariablesの例

コード例 #1

    public Lambda(Variable v, LogicalForm l)
        : base(new Arrow(v.GetSemanticType(), l.GetSemanticType()))
    {
        this.v = v;
        this.l = l;

        this.freeVariables = l.CloneVariables();
        freeVariables.Remove(v);
    }