GhostQSolver (Tweety (Quantified Boolean Formulas) 1.17 API)

java.lang.Object
- net.sf.tweety.logics.qbf.reasoner.QbfSolver
- - net.sf.tweety.logics.qbf.reasoner.GhostQSolver

All Implemented Interfaces:

net.sf.tweety.logics.commons.analysis.BeliefSetConsistencyTester<net.sf.tweety.logics.pl.syntax.PlFormula>, net.sf.tweety.logics.commons.analysis.ConsistencyTester<net.sf.tweety.commons.BeliefSet<net.sf.tweety.logics.pl.syntax.PlFormula,?>>
```
public class GhostQSolver
extends QbfSolver
```
A wrapper for the GhostQ (https://www.wklieber.com/ghostq/) solver.
Tested with the GhostQ 2017 version: https://www.wklieber.com/ghostq/2017.html/

Author:

Anna Gessler

Field Summary
- Fields inherited from class net.sf.tweety.logics.qbf.reasoner.QbfSolver
  bash

Constructor Summary

Constructors
Constructor	Description
`GhostQSolver(String binaryLocation)`	Constructs a new instance pointing to a specific GhostQSolver
`GhostQSolver(String binaryLocation, net.sf.tweety.commons.util.Shell bash)`	Constructs a new instance pointing to a specific GhostQSolver.

Method Summary

Modifier and Type Method Description

boolean isSatisfiable(Collection<net.sf.tweety.logics.pl.syntax.PlFormula> kb)
Checks whether the given set of formulas is satisfiable.
- Methods inherited from class net.sf.tweety.logics.qbf.reasoner.QbfSolver
  isConsistent, isConsistent, isConsistent
- Methods inherited from class java.lang.Object
  clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

- Constructor Detail
  - GhostQSolver
```
public GhostQSolver(String binaryLocation,
                    net.sf.tweety.commons.util.Shell bash)
```
    Constructs a new instance pointing to a specific GhostQSolver.
    
    Parameters:
    
    binaryLocation - of the GhostQ executable on the hard drive
    
    bash - shell to run commands
  - GhostQSolver
```
public GhostQSolver(String binaryLocation)
```
    Constructs a new instance pointing to a specific GhostQSolver
    
    Parameters:
    
    binaryLocation - of the GhostQ executable on the hard drive
- Method Detail
  - isSatisfiable
```
public boolean isSatisfiable(Collection<net.sf.tweety.logics.pl.syntax.PlFormula> kb)
```
    Description copied from class: QbfSolver
    
    Checks whether the given set of formulas is satisfiable.
    
    Specified by:
    
    isSatisfiable in class QbfSolver
    
    Parameters:
    
    kb - a set of formulas.
    
    Returns:
    
    "true" if the set is consistent.