nl.uu.cs.ape.models.sltlxStruc.SLTLxElem Maven / Gradle / Ivy
Go to download
Show more of this group Show more artifacts with this name
Show all versions of APE Show documentation
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.
package nl.uu.cs.ape.models.sltlxStruc;
import java.util.Set;
import nl.uu.cs.ape.solver.minisat.SATSynthesisEngine;
/**
* Class represents any element of the SLTLx encoding.
*
* @author Vedran Kasalica
*
*/
public interface SLTLxElem {
/**
* Create the CNF encoding of the statement and return the string
* representation.
*
* @param synthesisEngine - synthesis engine used to encode the problem.
* @return The string that represent cnf clauses.
*/
public Set getCNFEncoding(int stateNo, SLTLxVariableSubstitutionCollection variableMapping,
SATSynthesisEngine synthesisEngine);
/**
* CreatE the CNF encoding of the negation of the statement and return the
* string representation.
*
* @param synthesisEngine - synthesis engine used to encode the problem.
* @return The string that represent the negated cnf clauses.
*/
public Set getNegatedCNFEncoding(int stateNo, SLTLxVariableSubstitutionCollection variableMapping,
SATSynthesisEngine synthesisEngine);
}