com.clarkparsia.pellet.rules.model

Class Rule

java.lang.Object

com.clarkparsia.pellet.rules.model.Rule

public class Rule
extends Object

Title: Rule

Description:

Copyright: Copyright (c) 2007

Company: Clark & Parsia, LLC.

Author:

Ron Alford

Constructor Summary

Constructors

Constructor and Description
Rule(aterm.ATermAppl name, Collection<? extends RuleAtom> head, Collection<? extends RuleAtom> body)
Rule(aterm.ATermAppl name, Collection<? extends RuleAtom> head, Collection<? extends RuleAtom> body, Set<aterm.ATermAppl> explanation)
Rule(Collection<? extends RuleAtom> head, Collection<? extends RuleAtom> body)
Rule(Collection<? extends RuleAtom> head, Collection<? extends RuleAtom> body, Set<aterm.ATermAppl> explanation)

Method Summary

Methods

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

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

Rule

public Rule(Collection<? extends RuleAtom> head,
    Collection<? extends RuleAtom> body)

Rule

public Rule(Collection<? extends RuleAtom> head,
    Collection<? extends RuleAtom> body,
    Set<aterm.ATermAppl> explanation)

Rule

public Rule(aterm.ATermAppl name,
    Collection<? extends RuleAtom> head,
    Collection<? extends RuleAtom> body)

Rule

public Rule(aterm.ATermAppl name,
    Collection<? extends RuleAtom> head,
    Collection<? extends RuleAtom> body,
    Set<aterm.ATermAppl> explanation)

Method Detail

getExplanation

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

equals

public boolean equals(Object other)

Overrides:

equals in class Object

getBody

public Collection<? extends RuleAtom> getBody()

getHead

public Collection<? extends RuleAtom> getHead()

getName

public aterm.ATermAppl getName()

hashCode

public int hashCode()

Overrides:

hashCode in class Object

toString

public String toString()

Overrides:

toString in class Object