UnoriginalExpr.java

package org.batfish.z3.node;

public class UnoriginalExpr extends NodePacketRelExpr {

   private static final String BASE_NAME = "R_unoriginal";

   public UnoriginalExpr(String nodeName) {
      super(BASE_NAME, nodeName);
   }

}