public ILogicNode Add(ILogicLeaf leaf)
{
ILogicNode node = new LogicNodeLeaf(leaf);
this.Add(node);
return(node);
}
public LinearLowerLimit(ILogicLeaf leafL, int limit)
{
this.Add(new LogicNodeLeaf(leafL));
this.Add(new LogicNodeLeaf(new LogicLeaf(new LogicResult(limit))));
}
public LinearLowerLimit(ILogicNode nodeL, ILogicLeaf leafR)
{
this.Add(nodeL);
this.Add(leafR);
}
// Add more constructors later
public LinearLowerLimit(ILogicLeaf leafL, ILogicLeaf leafR)
{
this.Add(new LogicNodeLeaf(leafL));
this.Add(new LogicNodeLeaf(leafR));
}
public LogicNodeLeaf(ILogicLeaf leaf)
{
this.Leaf = leaf;
}
public LinearEqual(ILogicNode nodeL, ILogicLeaf leafR)
{
this.Add(nodeL);
this.Add(new LogicNodeLeaf(leafR));
}
public LogicBitwiseAndTrue(ILogicLeaf leafL, int limit)
{
this.Add(new LogicNodeLeaf(leafL));
this.Add(new LogicNodeLeaf(new LogicLeaf(new LogicResult(limit))));
}
public LogicBitwiseAndTrue(ILogicNode nodeL, ILogicLeaf leafR)
{
this.Add(nodeL);
this.Add(new LogicNodeLeaf(leafR));
}
public AbsoluteUpperLimit(ILogicLeaf leafL, int limit, int penalty)
{
this.Add(new LogicNodeLeaf(leafL));
this.Add(new LogicNodeLeaf(new LogicLeaf(new LogicResult(limit))));
this.Add(new LogicNodeLeaf(new LogicLeaf(new LogicResult(penalty))));
}
// Add more constructors later
public LogicAnd(ILogicLeaf leafL, ILogicLeaf leafR)
{
this.Add(new LogicNodeLeaf(leafL));
this.Add(new LogicNodeLeaf(leafR));
}
// Add more constructors later
public LogicBitwiseOrTrue(ILogicLeaf leafL, ILogicLeaf leafR)
{
this.Add(new LogicNodeLeaf(leafL));
this.Add(new LogicNodeLeaf(leafR));
}
public AbsoluteEqual(ILogicLeaf leafL, int expected, int penalty)
{
this.Add(new LogicNodeLeaf(leafL));
this.Add(new LogicNodeLeaf(new LogicLeaf(new LogicResult(expected))));
this.Add(new LogicNodeLeaf(new LogicLeaf(new LogicResult(penalty))));
}
// Add more constructors later
public AbsoluteEqual(ILogicLeaf actual, ILogicLeaf expected, int penalty)
{
this.Add(new LogicNodeLeaf(actual));
this.Add(new LogicNodeLeaf(expected));
this.Add(new LogicNodeLeaf(new LogicLeaf(new LogicResult(penalty))));
}
// Add more constructors later
public AbsoluteLowerLimit(ILogicLeaf leafL, ILogicLeaf leafR, int penalty)
{
this.Add(new LogicNodeLeaf(leafL));
this.Add(new LogicNodeLeaf(leafR));
this.Add(new LogicNodeLeaf(new LogicLeaf(new LogicResult(penalty))));
}
