public DerivationGraph(DerivationBase derivation) : base(derivation) { }
public DerivationGraph(DerivationBase derivation, IDerivationLog derivationLog) : base(derivation) { this.derivationLog = derivationLog; }
protected override DerivationGraphBase CreateDerivationGraph(DerivationBase derivation) { return(new DerivationGraph(derivation)); }