public ContractGraph(ContractGraph CopyFrom, bool ResetAggregateState = true)
{
this.TheContract = CopyFrom.TheContract;
this._CoverGraph = new CoverGraph(CopyFrom._CoverGraph, ResetAggregateState);
this._TermGraph = new TermGraph(CopyFrom._TermGraph);
}
public ContractGraph(Contract _TheContract)
{
TheContract = _TheContract;
_CoverGraph = new CoverGraph();
_TermGraph = new TermGraph();
}
