/**
* 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;
}
