Exemplo n.º 1
0
        internal override BoolExpr <T_Identifier> VisitNot(NotExpr <T_Identifier> expression)
        {
            BoolExpr <T_Identifier> boolExpr = expression.Child.Accept <BoolExpr <T_Identifier> >((Visitor <T_Identifier, BoolExpr <T_Identifier> >) this);

            switch (boolExpr.ExprType)
            {
            case ExprType.Not:
                return(((NotExpr <T_Identifier>)boolExpr).Child);

            case ExprType.True:
                return((BoolExpr <T_Identifier>)FalseExpr <T_Identifier> .Value);

            case ExprType.False:
                return((BoolExpr <T_Identifier>)TrueExpr <T_Identifier> .Value);

            default:
                return(base.VisitNot(expression));
            }
        }
Exemplo n.º 2
0
        internal override BoolExpr <T_Identifier> VisitNot(NotExpr <T_Identifier> expression)
        {
            var child = expression.Child.Accept(this);

            switch (child.ExprType)
            {
            case ExprType.Not:
                return(((NotExpr <T_Identifier>)child).Child);

            case ExprType.True:
                return(FalseExpr <T_Identifier> .Value);

            case ExprType.False:
                return(TrueExpr <T_Identifier> .Value);

            default:
                return(base.VisitNot(expression));
            }
        }
Exemplo n.º 3
0
 internal override bool VisitNot(NotExpr <T_Identifier> expression)
 {
     return(expression.Child.Accept(this));
 }
Exemplo n.º 4
0
 internal override Vertex VisitNot(NotExpr <T_Identifier> expression)
 {
     return(_context.Solver.Not(expression.Child.Accept(this)));
 }
 internal override BoolExpr <T_To> VisitNot(NotExpr <T_From> expression)
 {
     return(new NotExpr <T_To>(expression.Child.Accept(this)));
 }
Exemplo n.º 6
0
 internal override BoolExpr <DomainConstraint <T_Variable, T_Element> > VisitNot(
     NotExpr <DomainConstraint <T_Variable, T_Element> > expression)
 {
     return(expression.Child.Accept(NegatedDomainConstraintTreeVisitor <T_Variable, T_Element> .Instance));
 }
Exemplo n.º 7
0
 internal override BoolExpr <T_Identifier> VisitNot(NotExpr <T_Identifier> expression)
 {
     return(expression.Child.Accept(NonNegatedTreeVisitor <T_Identifier> .Instance));
 }
Exemplo n.º 8
0
 internal override BoolExpr <T_Identifier> VisitNot(NotExpr <T_Identifier> expression)
 {
     return(new NotExpr <T_Identifier>(expression.Child.Accept(this)));
 }
Exemplo n.º 9
0
 internal override BoolExpr <T_Identifier> VisitNot(NotExpr <T_Identifier> expression)
 {
     return((BoolExpr <T_Identifier>) new NotExpr <T_Identifier>(expression.Child.Accept <BoolExpr <T_Identifier> >((Visitor <T_Identifier, BoolExpr <T_Identifier> >) this)));
 }
Exemplo n.º 10
0
 internal override BoolExpr <T_Identifier> VisitNot(NotExpr <T_Identifier> expression)
 {
     return(expression.Child.Accept <BoolExpr <T_Identifier> >((Visitor <T_Identifier, BoolExpr <T_Identifier> >)NegationPusher.NegatedTreeVisitor <T_Identifier> .Instance));
 }
 internal override BoolExpr <T_To> VisitNot(NotExpr <T_From> expression)
 {
     return((BoolExpr <T_To>) new NotExpr <T_To>(expression.Child.Accept <BoolExpr <T_To> >((Visitor <T_From, BoolExpr <T_To> >) this)));
 }