verigraph/service/src/mcnet/components/Result.java

   1 /*******************************************************************************
   2  * Copyright (c) 2017 Politecnico di Torino and others.
   3  *
   4  * All rights reserved. This program and the accompanying materials
   5  * are made available under the terms of the Apache License, Version 2.0
   6  * which accompanies this distribution, and is available at
   7  * http://www.apache.org/licenses/LICENSE-2.0
   8  *******************************************************************************/
   9
  10 package mcnet.components;
  11
  12 import com.microsoft.z3.BoolExpr;
  13 import com.microsoft.z3.Context;
  14 import com.microsoft.z3.Model;
  15
  16 /**Data structure for the core of the response to a check request for data isolation property
  17  *
  18  */
  19 public class Result {
  20         Context ctx;
  21         public Model model;
  22         public BoolExpr[] unsat_core;
  23
  24 /**
  25  *
  26  * @param ctx
  27  * @param model
  28  */
  29     public Result(Context ctx, Model model){
  30             this.ctx = ctx;
  31             this.model = model;
  32         }
  33
  34 /**
  35  *
  36  * @param ctx
  37  * @param unsat_core
  38  */
  39     public Result(Context ctx, BoolExpr[] unsat_core){
  40         this.ctx = ctx;
  41         this.unsat_core = unsat_core;
  42 }
  43 }