org.deri.iris.api.basics
Interface ILiteral

All Superinterfaces:

Comparable<ILiteral>

All Known Implementing Classes:

Literal

public interface ILiteral
extends Comparable<ILiteral>

A literal (a subgoal) is either an atomic formula or a negated atomic formula:

p(A1,...An) or not p(A1,...An)

This interface is used to promote modularity of the inference engine.

$Id: ILiteral.java,v 1.6 2007-10-30 10:35:40 poettler_ric Exp $

Author:

Darko Anicic, DERI Innsbruck

Method Summary

IAtom	getAtom() Returns the atom of this literal.
boolean	isPositive() Checks whether the literal is a positive atomic formula or a negated atomic formula.

Methods inherited from interface java.lang.Comparable

compareTo

Method Detail

isPositive

boolean isPositive()

Checks whether the literal is a positive atomic formula or a negated atomic formula.

Returns:

True if the literal is a positive atomic formula; false otherwise.

getAtom

IAtom getAtom()

Returns the atom of this literal.

Returns:

The atom.