nl.uu.cs.ape.models.sltlxStruc.SLTLxNegation 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.
The newest version!
package nl.uu.cs.ape.models.sltlxStruc;
import java.util.Set;
import nl.uu.cs.ape.solver.minisat.SATSynthesisEngine;
/**
* Structure used to model not statement in cnf.
*
* @author Vedran Kasalica
*
*/
public class SLTLxNegation extends SLTLxFormula {
private SLTLxFormula negatedFact;
public SLTLxNegation(SLTLxFormula arg1) {
super();
this.negatedFact = arg1;
}
@Override
public Set getCNFEncoding(int stateNo, SLTLxVariableSubstitutionCollection variableMapping,
SATSynthesisEngine synthesisEngine) {
return negatedFact.getNegatedCNFEncoding(stateNo, variableMapping, synthesisEngine);
}
@Override
public Set getNegatedCNFEncoding(int stateNo, SLTLxVariableSubstitutionCollection variableMapping,
SATSynthesisEngine synthesisEngine) {
return negatedFact.getCNFEncoding(stateNo, variableMapping, synthesisEngine);
}
}