/** * Instantiates a new clause aggregation test. * * @param name * the name */ public ClauseAggregationTest(string name) : base(name) { aggregator = new Aggregator(); aggregator.initialise(); coord = new ClauseCoordinationRule(); fcr = new ForwardConjunctionReductionRule(); bcr = new BackwardConjunctionReductionRule(); }
public override void tearDown() { base.tearDown(); s1 = null; s2 = null; s3 = null; s4 = null; s5 = null; s6 = null; aggregator = null; coord = null; fcr = null; bcr = null; }