Package openllet.core.rules.model

Class Rule

java.lang.Object

openllet.core.rules.model.Rule

public class Rule
extends java.lang.Object

Title: Rule

Copyright: Copyright (c) 2007

Company: Clark & Parsia, LLC.

Author:

Ron Alford

Constructor Summary

Constructors

Constructor	Description
Rule(java.util.List<? extends RuleAtom> head, java.util.List<? extends RuleAtom> body)
Rule(java.util.List<? extends RuleAtom> head, java.util.List<? extends RuleAtom> body, java.util.Set<openllet.aterm.ATermAppl> explanation)
Rule(openllet.aterm.ATermAppl name, java.util.List<? extends RuleAtom> head, java.util.List<? extends RuleAtom> body)
Rule(openllet.aterm.ATermAppl name, java.util.List<? extends RuleAtom> head, java.util.List<? extends RuleAtom> body, java.util.Set<openllet.aterm.ATermAppl> explanation)

Method Summary

Modifier and Type	Method	Description
boolean	equals(java.lang.Object other)
java.util.Collection<? extends RuleAtom>	getBody()
java.util.Set<openllet.aterm.ATermAppl>	getExplanation(RulesToATermTranslator translator)
java.util.Collection<? extends RuleAtom>	getHead()
openllet.aterm.ATermAppl	getName()
int	hashCode()
java.lang.String	toString()

Methods inherited from class java.lang.Object

getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

Rule

public Rule(java.util.List<? extends RuleAtom> head,
            java.util.List<? extends RuleAtom> body)

Rule

public Rule(java.util.List<? extends RuleAtom> head,
            java.util.List<? extends RuleAtom> body,
            java.util.Set<openllet.aterm.ATermAppl> explanation)

Rule

public Rule(openllet.aterm.ATermAppl name,
            java.util.List<? extends RuleAtom> head,
            java.util.List<? extends RuleAtom> body)

Rule

public Rule(openllet.aterm.ATermAppl name,
            java.util.List<? extends RuleAtom> head,
            java.util.List<? extends RuleAtom> body,
            java.util.Set<openllet.aterm.ATermAppl> explanation)

Method Detail

getExplanation

public java.util.Set<openllet.aterm.ATermAppl> getExplanation(RulesToATermTranslator translator)

equals

public boolean equals(java.lang.Object other)

Overrides:

equals in class java.lang.Object

getBody

public java.util.Collection<? extends RuleAtom> getBody()

getHead

public java.util.Collection<? extends RuleAtom> getHead()

getName

public openllet.aterm.ATermAppl getName()

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object