Overview | Package | Class | Tree | Deprecated | Index | Help
| Protégé-OWL 3.4 rc2
PREV CLASS NEXT CLASS | FRAMES NO FRAMES
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD

## edu.stanford.smi.protegex.owl.inference.protegeowl.task.digreasoner
Interface BooleanResultReasonerTask

All Superinterfaces:
  ReasonerTask

All Known Implementing Classes:
  GetConceptSatisfiableTask, IsConceptIntersectionSatisfiableTask, IsDisjointToTask, IsSubsumedByTask

    public interface BooleanResultReasonerTask

extends ReasonerTask

User: matthewhorridge
The Univeristy Of Manchester
Medical Informatics Group
Date: Aug 17, 2004

matthew.horridge@cs.man.ac.uk
www.cs.man.ac.uk/~horridgm

Implemented by tasks that return a `boolean` result.

Method Summary
`boolean` | `getResult()`

Methods inherited from interface edu.stanford.smi.protegex.owl.inference.protegeowl.task.ReasonerTask
`addTaskListener, getDescription, getMessage, getProgress, getTaskSize, isProgressIndeterminate, isRequestAbort, removeTaskListener, run, setRequestAbort`

Method Detail

### getResult

    boolean getResult()

Overview | Package | Class | Tree | Deprecated | Index | Help
| Protégé-OWL 3.4 rc2
PREV CLASS NEXT CLASS | FRAMES NO FRAMES
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD

Submit a bug report or feature request
Copyright (c) 1998-2009 Stanford University.