DLClauseEvaluator.Worker (HermiT 1.3.8.510 API)

Skip navigation links

All Classes

Summary:
Nested |
Field |
Constr |
Method

Detail:
Field |
Constr |
Method

Enclosing class:: DLClauseEvaluator

public static interface DLClauseEvaluator.Worker

Worker.

- Method Summary
  
  All Methods Instance Methods Abstract Methods
  Modifier and Type Method and Description
  
  int execute(int programCounter)

- Method Detail
  - execute
```
int execute(int programCounter)
```
    Parameters:
    
    programCounter - programCounter
    
    Returns:
    
    counter

Skip navigation links

All Classes

Summary:
Nested |
Field |
Constr |
Method

Detail:
Field |
Constr |
Method

Copyright © 2017. All Rights Reserved.