Check4Bug

All Known Implementing Classes:: Check4Bulk

public interface Check4Bug

An implementation of this interface checks whether an error exists.
It it used within problem optimizer

Author:: angele

Method Summary

Modifier and Type

Method

Description

boolean

errorStillHere(List<String> factfilepaths, List<String> rulefilepaths)

check whether problem still exists

String[]

getFactFiles()

Get the initial fact files

List<String>

getRuleFiles()

Return the rule files to be loaded.

String

getTempDir()

Get the temporary directory used for minimizing
and used for storing the result files.

Method Details
- errorStillHere
  
  boolean errorStillHere(List<String> factfilepaths, List<String> rulefilepaths) throws SemReasonerException, InterruptedException
  
  check whether problem still exists
  
  Parameters:
  
  factfilepaths - , files to load facts from
  
  rulefilepaths - , files to load rules from
  
  Returns:
  
  Throws:
  
  SemReasonerException
  
  InterruptedException
- getTempDir
  
  String getTempDir()
  
  Get the temporary directory used for minimizing
  and used for storing the result files.
  
  Returns:
  
  temp directory
- getFactFiles
  
  String[] getFactFiles()
  
  Get the initial fact files
  
  Returns:
- getRuleFiles
  
  List<String> getRuleFiles()
  
  Return the rule files to be loaded.
  Null if no rule file has to be loaded.
  
  Returns:
  
  list of rule files to be loaded