public SemanticTableauxParser(IAsciiBasePropositionalOperator baseOperator) { var not = new NotPropositionalOperator(baseOperator.GetArgumentsManager()); not.Instantiate(new [] { baseOperator.ToAndOrNot() }); Step = new TableuaxStep(not); HandleSteps(); }
public AbstractTrueTable(IAsciiBasePropositionalOperator oper) { _manager = oper.GetArgumentsManager(); _operator = oper; }
public static IAsciiBasePropositionalOperator CloneOperator(IAsciiBasePropositionalOperator baseOperator) { var parser = new StringParser(baseOperator.ToString(), 0, baseOperator.GetArgumentsManager()); return(parser.GetOperator()); }