edu.udo.cs.ie.cowbots.logic.solver
Class Clingo.ReadThread

Package class diagram package Clingo.ReadThread
java.lang.Object
  extended by java.lang.Thread
      extended by edu.udo.cs.ie.cowbots.logic.solver.Clingo.ReadThread
All Implemented Interfaces:
java.lang.Runnable
Enclosing class:
Clingo

 class Clingo.ReadThread
extends java.lang.Thread

auxiliary class to read clingos stderr, stdout streams in parallel.


Nested Class Summary
 
Nested classes/interfaces inherited from class java.lang.Thread
java.lang.Thread.State, java.lang.Thread.UncaughtExceptionHandler
 
Field Summary
(package private)  java.io.BufferedReader br
           
(package private)  java.util.List<java.lang.String> output
           
 
Fields inherited from class java.lang.Thread
MAX_PRIORITY, MIN_PRIORITY, NORM_PRIORITY
 
Constructor Summary
Clingo.ReadThread(java.io.BufferedReader br)
           
 
Method Summary
 java.util.List<java.lang.String> getOutput()
           
 void run()
           
 
Methods inherited from class java.lang.Thread
activeCount, checkAccess, countStackFrames, currentThread, destroy, dumpStack, enumerate, getAllStackTraces, getContextClassLoader, getDefaultUncaughtExceptionHandler, getId, getName, getPriority, getStackTrace, getState, getThreadGroup, getUncaughtExceptionHandler, holdsLock, interrupt, interrupted, isAlive, isDaemon, isInterrupted, join, join, join, resume, setContextClassLoader, setDaemon, setDefaultUncaughtExceptionHandler, setName, setPriority, setUncaughtExceptionHandler, sleep, sleep, start, stop, stop, suspend, toString, yield
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Field Detail

br

java.io.BufferedReader br

output

java.util.List<java.lang.String> output
Constructor Detail

Clingo.ReadThread

public Clingo.ReadThread(java.io.BufferedReader br)
Method Detail

run

public void run()
Specified by:
run in interface java.lang.Runnable
Overrides:
run in class java.lang.Thread

getOutput

public java.util.List<java.lang.String> getOutput()