nl.uu.cs.ape.models.sltlxStruc.SLTLxUntil Maven / Gradle / Ivy

Go to download

Show more of this group Show more artifacts with this name
Show all versions of APE Show documentation

APE is a command line tool and an API for the automated exploration of possible computational pipelines (workflows) from large collections of computational tools.

The newest version!

package nl.uu.cs.ape.models.sltlxStruc;

import java.util.HashSet;
import java.util.Set;

import nl.uu.cs.ape.solver.minisat.SATSynthesisEngine;

/**
 * Structure used to model Until (U) modal statement in SLTLx.
 * TODO: Implement operator.
 * 
 * @author Vedran Kasalica
 *
 */
public class SLTLxUntil extends SLTLxFormula {

	private SLTLxFormula formulaFrom;
	private SLTLxFormula formulaUntil;

	public SLTLxUntil(SLTLxFormula formulaFrom, SLTLxFormula formulaUntil) {
		super();
		this.formulaFrom = formulaFrom;
		this.formulaUntil = formulaUntil;
		throw new UnsupportedOperationException("Not implemented yet.");
	}

	@Override
	public Set getCNFEncoding(int stateNo, SLTLxVariableSubstitutionCollection variableMapping,
			SATSynthesisEngine synthesisEngine) {
		Set> allClauses = new HashSet<>();

		Set clauses = new HashSet<>();
		// for(int i = stateNo; i < synthesisEngine.getSolutionSize(); i++) {
		// clauses.addAll(formula.getCNFEncoding(i, variableMapping, synthesisEngine));
		// }
		return clauses;
	}

	@Override
	public Set getNegatedCNFEncoding(int stateNo, SLTLxVariableSubstitutionCollection variableMapping,
			SATSynthesisEngine synthesisEngine) {
		Set clauses = new HashSet<>();
		return clauses;
	}

}