Beispiel #1
0
 internal override BoolExpr <T_Identifier> VisitAnd(AndExpr <T_Identifier> expression)
 {
     return(new AndExpr <T_Identifier>(AcceptChildren(expression.Children)));
 }
Beispiel #2
0
 internal abstract T_Return VisitAnd(AndExpr <T_Identifier> expression);
Beispiel #3
0
 internal override BoolExpr <T_To> VisitAnd(AndExpr <T_From> expression)
 {
     return(new AndExpr <T_To>(VisitChildren(expression)));
 }
Beispiel #4
0
 internal override Vertex VisitAnd(AndExpr <T_Identifier> expression)
 {
     return(_context.Solver.And(expression.Children.Select(child => child.Accept(this))));
 }
Beispiel #5
0
 internal override bool VisitAnd(AndExpr <T_Identifier> expression)
 {
     return(VisitTree(expression));
 }