Package com.semedy.reasoner.utils

Class OOlogicShape

java.lang.Object

com.semedy.reasoner.utils.OOlogicShape

public class OOlogicShape
extends Object

Utilities for OO logic syntax and printing

Author:

angele

Constructor Summary

Constructors

Constructor	Description
OOlogicShape()

Method Summary

Modifier and Type	Method	Description
static String	toString(Literal L, boolean magic, SymbolTable symbols, BuiltinProvider builtins)	return OO-logic syntax for literal L
static String	toString(Literal L, SymbolTable symbols, BuiltinProvider builtins)	return OO-logic syntax for literal L
static String	toString(Rule r, int markedIndex, SymbolTable symbols, BuiltinProvider builtins)	return OO logic syntax for rule r, rule body 'markedIndex' is marked
static String	toString(Rule r, SymbolTable symbols, BuiltinProvider builtins)	return OO logic syntax for rule r
static String	toString(Object term, SymbolTable symbols)

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

OOlogicShape

public OOlogicShape()

Method Details

toString

public static String toString(Object term,
 SymbolTable symbols)
                       throws IOException,
SemReasonerException

Throws:

IOException

SemReasonerException

toString

public static String toString(Literal L,
 boolean magic,
 SymbolTable symbols,
 BuiltinProvider builtins)
                       throws IOException,
SemReasonerException

return OO-logic syntax for literal L

Parameters:

L -

Returns:

Throws:

IOException

SemReasonerException

toString

public static String toString(Literal L,
 SymbolTable symbols,
 BuiltinProvider builtins)
                       throws IOException,
SemReasonerException

return OO-logic syntax for literal L

Parameters:

L -

Returns:

Throws:

IOException

SemReasonerException

toString

public static String toString(Rule r,
 int markedIndex,
 SymbolTable symbols,
 BuiltinProvider builtins)
                       throws IOException,
SemReasonerException

return OO logic syntax for rule r, rule body 'markedIndex' is marked

Parameters:

r -

markedIndex -

Returns:

Throws:

IOException

SemReasonerException

toString

public static String toString(Rule r,
 SymbolTable symbols,
 BuiltinProvider builtins)
                       throws IOException,
SemReasonerException

return OO logic syntax for rule r

Parameters:

r -

symbols -

builtins -

Returns:

Throws:

IOException

SemReasonerException