Package org.tweetyproject.logics.pl.analysis

Class CmdLineImSolver

java.lang.Object

org.tweetyproject.logics.commons.analysis.BeliefSetInconsistencyMeasure<PlFormula>

org.tweetyproject.logics.pl.analysis.CmdLineImSolver

All Implemented Interfaces:

PostulateEvaluatable<PlFormula>, InconsistencyMeasure<BeliefSet<PlFormula,?>>

public class CmdLineImSolver
extends BeliefSetInconsistencyMeasure<PlFormula>

Provides an interface to a command line based inconsistency measure analyzer

Author:

Sebastian Franke

Field Summary

Fields inherited from interface org.tweetyproject.logics.commons.analysis.InconsistencyMeasure

MEASURE_TOLERANCE

Constructor Summary

Constructors

Constructor	Description
CmdLineImSolver(String binaryLocation)	Creates a new solver based on the open-wbo executable given as a parameter.

Method Summary

Modifier and Type	Method	Description
String	getBinaryLocation()	Return the path of the Prover9 binaries.
Double	inconsistencyMeasure(Collection<PlFormula> formulas)	This method measures the inconsistency of the given set of formulas.
boolean	isInstalled()	Return if the solver is installed
void	setBinaryLocation(String binaryLocation)	Changes the path of the Prover9 binaries.

Methods inherited from class org.tweetyproject.logics.commons.analysis.BeliefSetInconsistencyMeasure

inconsistencyMeasure

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

CmdLineImSolver

public CmdLineImSolver(String binaryLocation)

Creates a new solver based on the open-wbo executable given as a parameter.

Parameters:

binaryLocation - the path to the executable.

Method Details

getBinaryLocation

public String getBinaryLocation()

Return the path of the Prover9 binaries.

Returns:

the path of the Prover9 binaries.

setBinaryLocation

public void setBinaryLocation(String binaryLocation)

Changes the path of the Prover9 binaries.

Parameters:

binaryLocation - the new path of the binary

isInstalled

public boolean isInstalled()

Return if the solver is installed

Returns:

if the solver is installed

inconsistencyMeasure

public Double inconsistencyMeasure(Collection<PlFormula> formulas)

Description copied from class: BeliefSetInconsistencyMeasure

This method measures the inconsistency of the given set of formulas.

Specified by:

inconsistencyMeasure in class BeliefSetInconsistencyMeasure<PlFormula>

Parameters:

formulas - a collection of formulas.

Returns:

a Double indicating the degree of inconsistency.