Example 1 with NodContext
use of org.batfish.z3.NodContext in project batfish by batfish.
the class BoolExprTransformerTest method setup.
@Before
public void setup() {
_stateExpr = Accept.INSTANCE;
_transformationStateExpr = new PreOutEdgePostNat("host1", "interface1", "host2", "interface2");
_ctx = new Context();
_input = MockSynthesizerInput.builder().build();
_nodContext = new NodContext(_ctx, ReachabilityProgram.builder().setInput(_input).setRules(of(new BasicRuleStatement(_stateExpr), new TransformationRuleStatement(_transformationStateExpr))).build());
}
Also used :
NodContext(org.batfish.z3.NodContext)
Context(com.microsoft.z3.Context)
TransformationRuleStatement(org.batfish.z3.expr.TransformationRuleStatement)
NodContext(org.batfish.z3.NodContext)
PreOutEdgePostNat(org.batfish.z3.state.PreOutEdgePostNat)
BasicRuleStatement(org.batfish.z3.expr.BasicRuleStatement)
Before(org.junit.Before)
Aggregations
Context (com.microsoft.z3.Context)1
NodContext (org.batfish.z3.NodContext)1
BasicRuleStatement (org.batfish.z3.expr.BasicRuleStatement)1
TransformationRuleStatement (org.batfish.z3.expr.TransformationRuleStatement)1
PreOutEdgePostNat (org.batfish.z3.state.PreOutEdgePostNat)1
Before (org.junit.Before)1
