edu.cs.ai.kreator.logic
Class SpiritGrammarConform

java.lang.Object
  edu.cs.ai.kreator.logic.Literal
      edu.cs.ai.kreator.logic.SpiritGrammarConform

All Implemented Interfaces:

Latexable, java.lang.Comparable<Literal>

Direct Known Subclasses:

GeneralizedAtom, StrictNegation

public abstract class SpiritGrammarConform
extends Literal

Defines an abstract class to generate a SPIRIT conform output of logical parts, e.g. variables, predicates, atoms, literals, conditionals...

Author:

Sebastian Loh

Nested Class Summary

Nested classes/interfaces inherited from class edu.cs.ai.kreator.logic.Literal

Literal.TruthValue

Constructor Summary

SpiritGrammarConform()

Method Summary

abstract java.lang.String

toSPIRITgrammar() Returns a SPIRIT grammar conform string to generate variables and SPIRIT rules (conditionals).

Methods inherited from class edu.cs.ai.kreator.logic.Literal

equals, extendUnifier, extendUnifier, extendUnifiers, getAtom, getComplement, getConstants, getInstantiations, getParameters, getPredicate, getUnifier, getUnifiers, getVariables, isConsistent, substitute, substituteAll

Methods inherited from class java.lang.Object

clone, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface edu.cs.ai.kreator.logic.Latexable

toLatex

Methods inherited from interface java.lang.Comparable

compareTo

Constructor Detail

SpiritGrammarConform

public SpiritGrammarConform()

Method Detail

toSPIRITgrammar

public abstract java.lang.String toSPIRITgrammar()

Returns a SPIRIT grammar conform string to generate variables and SPIRIT rules (conditionals).

Returns:

a SPIRIT grammar conform string.