verigraph/src/it/polito/verigraph/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 package it.polito.verigraph.mcnet.components;
  10
  11 import com.microsoft.z3.BoolExpr;
  12 import com.microsoft.z3.Context;
  13 import com.microsoft.z3.Model;
  14
  15 /**Data structure for the core of the response to a check request for data isolation property
  16  *
  17  */
  18 public class Result {
  19     Context ctx;
  20     public Model model;
  21     public BoolExpr[] unsat_core;
  22
  23     /**
  24      *
  25      * @param ctx
  26      * @param model
  27      */
  28     public Result(Context ctx, Model model){
  29         this.ctx = ctx;
  30         this.model = model;
  31     }
  32
  33     /**
  34      *
  35      * @param ctx
  36      * @param unsat_core
  37      */
  38     public Result(Context ctx, BoolExpr[] unsat_core){
  39         this.ctx = ctx;
  40         this.unsat_core = unsat_core;
  41     }
  42 }