de.unidu.is.hyspirit
Class HySpiritFact

java.lang.Object
  de.unidu.is.pdatalog.ds.Rule
      de.unidu.is.pdatalog.ds.Fact
          de.unidu.is.hyspirit.HySpiritFact

public class HySpiritFact

extends Fact

A fact whose string representation matches the one of HySpirit (thus, it is pDatalog and not pDatalog++).

Since:

2004-07-17

Version:

$Revision: 1.6 $, $Date: 2005/02/28 22:27:55 $

Author:

Henrik Nottelmann

Field Summary

Fields inherited from class de.unidu.is.pdatalog.ds.Rule

body, head

Constructor Summary

HySpiritFact(double prob, Literal head)
Creates a new object.

HySpiritFact(Fact fact)
Creates a new object.

HySpiritFact(Literal head)
Creates a new object.

HySpiritFact(Literal head, Expression mapping)
Creates a new object.

Method Summary

java.lang.String

toString() Returns a datalog representation of this rule.

Methods inherited from class de.unidu.is.pdatalog.ds.Fact

getArity, getConst, getConsts, getProb

Methods inherited from class de.unidu.is.pdatalog.ds.Rule

addLiteral, contains, containsExactly, containsExactlyInBody, getAllArguments, getAllArgumentsAsArray, getBody, getConstants, getHead, getMapping, getMapping, getMapping, getName, getPredicateName, getVariables, isOptimizable, literalAt, literalCount, putAllArguments, putConstants, putVariables, removeLiteral, removeLiteral, setHead, setLiteral, setMapping, setOptimizable

Methods inherited from class java.lang.Object

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

Constructor Detail

HySpiritFact

public HySpiritFact(Literal head,
                    Expression mapping)

Creates a new object.

Parameters:

head - literal used for creating this fact

mapping - mapping for computing the probability of this fact

HySpiritFact

public HySpiritFact(Literal head)

Creates a new object.

Parameters:

head - literal used for creating this fact

HySpiritFact

public HySpiritFact(double prob,
                    Literal head)

Creates a new object.

Parameters:

prob - probability of the fact

head - literal used for creating this fact

HySpiritFact

public HySpiritFact(Fact fact)

Creates a new object.

Parameters:

fact - original fact.

Method Detail

toString

public java.lang.String toString()

Description copied from class: Rule

Returns a datalog representation of this rule.

Overrides:

toString in class Rule

Returns:

datalog representation of this rule