fr.inria.edelweiss.rif.ast.Exists Maven / Gradle / Ivy

Go to download

package fr.inria.edelweiss.rif.ast;

import java.util.Vector;

import fr.inria.edelweiss.rif.api.IFormula;

public class Exists extends Quantifier implements IFormula {
	
	private IFormula formula ;
	
	private Exists(Vector vars, IFormula formula) {
		super(vars);
		this.formula = formula ;
	}
	
	public IFormula getFormula() {
		return this.formula ;
	}
	
	public static Exists create(Vector vars, IFormula formula) {
		return new Exists(vars, formula) ;
	}


}