ModelPair.java

package edu.udel.cis.vsl.tass.front.minimp;

import edu.udel.cis.vsl.tass.model.IF.ModelIF;

public class ModelPair {

  private ModelIF spec;

  private ModelIF impl;

  public ModelPair(ModelIF spec, ModelIF impl) {
    this.spec = spec;
    this.impl = impl;
  }

  public ModelIF spec() {
    return spec;
  }

  public ModelIF impl() {
    return impl;
  }

}