Examples with IdExpr - org.batfish.z3.expr.IdExpr

Example 1 with IdExpr

use of org.batfish.z3.expr.IdExpr in project batfish by batfish.

the class ExprPrinter method visitBitVecExpr.

@Override
public void visitBitVecExpr(BitVecExpr bitVecExpr) {
    List<Expr> subExpressions = ImmutableList.of(new IdExpr("_"), new IdExpr("BitVec"), new IdExpr(Integer.toString(bitVecExpr.getSize())));
    printCollapsedComplexExpr(subExpressions);
}

Also used : PrefixMatchExpr(org.batfish.z3.expr.PrefixMatchExpr) OrExpr(org.batfish.z3.expr.OrExpr) TrueExpr(org.batfish.z3.expr.TrueExpr) ExtractExpr(org.batfish.z3.expr.ExtractExpr) StateExpr(org.batfish.z3.expr.StateExpr) HeaderSpaceMatchExpr(org.batfish.z3.expr.HeaderSpaceMatchExpr) IfExpr(org.batfish.z3.expr.IfExpr) Expr(org.batfish.z3.expr.Expr) BitVecExpr(org.batfish.z3.expr.BitVecExpr) FalseExpr(org.batfish.z3.expr.FalseExpr) IpSpaceMatchExpr(org.batfish.z3.expr.IpSpaceMatchExpr) NotExpr(org.batfish.z3.expr.NotExpr) VarIntExpr(org.batfish.z3.expr.VarIntExpr) SaneExpr(org.batfish.z3.expr.SaneExpr) AndExpr(org.batfish.z3.expr.AndExpr) LitIntExpr(org.batfish.z3.expr.LitIntExpr) CurrentIsOriginalExpr(org.batfish.z3.expr.CurrentIsOriginalExpr) EqExpr(org.batfish.z3.expr.EqExpr) RangeMatchExpr(org.batfish.z3.expr.RangeMatchExpr) IdExpr(org.batfish.z3.expr.IdExpr) ListExpr(org.batfish.z3.expr.ListExpr) IdExpr(org.batfish.z3.expr.IdExpr)

Example 2 with IdExpr

use of org.batfish.z3.expr.IdExpr in project batfish by batfish.

the class ExprPrinter method visitAndExpr.

@Override
public void visitAndExpr(AndExpr andExpr) {
    List<Expr> subExpressions = ImmutableList.<Expr>builder().add(new IdExpr("and")).addAll(andExpr.getConjuncts()).build();
    printExpandedComplexExpr(subExpressions);
}

Aggregations

AndExpr (org.batfish.z3.expr.AndExpr)2 BitVecExpr (org.batfish.z3.expr.BitVecExpr)2 CurrentIsOriginalExpr (org.batfish.z3.expr.CurrentIsOriginalExpr)2 EqExpr (org.batfish.z3.expr.EqExpr)2 Expr (org.batfish.z3.expr.Expr)2 ExtractExpr (org.batfish.z3.expr.ExtractExpr)2 FalseExpr (org.batfish.z3.expr.FalseExpr)2 HeaderSpaceMatchExpr (org.batfish.z3.expr.HeaderSpaceMatchExpr)2 IdExpr (org.batfish.z3.expr.IdExpr)2 IfExpr (org.batfish.z3.expr.IfExpr)2 IpSpaceMatchExpr (org.batfish.z3.expr.IpSpaceMatchExpr)2 ListExpr (org.batfish.z3.expr.ListExpr)2 LitIntExpr (org.batfish.z3.expr.LitIntExpr)2 NotExpr (org.batfish.z3.expr.NotExpr)2 OrExpr (org.batfish.z3.expr.OrExpr)2 PrefixMatchExpr (org.batfish.z3.expr.PrefixMatchExpr)2 RangeMatchExpr (org.batfish.z3.expr.RangeMatchExpr)2 SaneExpr (org.batfish.z3.expr.SaneExpr)2 StateExpr (org.batfish.z3.expr.StateExpr)2 TrueExpr (org.batfish.z3.expr.TrueExpr)2