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));
}
}
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));
}
}
internal override bool VisitNot(NotExpr <T_Identifier> expression)
{
return(expression.Child.Accept(this));
}
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)));
}
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));
}
internal override BoolExpr <T_Identifier> VisitNot(NotExpr <T_Identifier> expression)
{
return(expression.Child.Accept(NonNegatedTreeVisitor <T_Identifier> .Instance));
}
internal override BoolExpr <T_Identifier> VisitNot(NotExpr <T_Identifier> expression)
{
return(new NotExpr <T_Identifier>(expression.Child.Accept(this)));
}
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)));
}
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)));
}
