public SemanticTableauxParser(IAsciiBasePropositionalOperator baseOperator) { var not = new NotPropositionalOperator(baseOperator.GetArgumentsManager()); not.Instantiate(new [] { baseOperator.ToAndOrNot() }); Step = new TableuaxStep(not); HandleSteps(); }
protected IAsciiBasePropositionalOperator SurroundWithNot(IAsciiBasePropositionalOperator baseOperator) { if (baseOperator is NotPropositionalOperator baseNot) { return(baseNot.GetChilds()[0]); } var not = new NotPropositionalOperator(_argumentManager); not.Instantiate(new [] { baseOperator }); return(not); }
private IAsciiBasePropositionalOperator GetOperator(byte value, char name) { switch (value) { case 0: IAsciiBasePropositionalOperator oper = new NotPropositionalOperator(_argumentManager); oper.Instantiate(new IAsciiBasePropositionalOperator[] { _argumentManager.RequestOperator(name) }); return(oper); case 1: return(_argumentManager.RequestOperator(name)); } return(null); }