com.clarkparsia.pellet.rules.model
Class Rule

java.lang.Object
  extended by com.clarkparsia.pellet.rules.model.Rule

public class Rule
extends java.lang.Object

Title: Rule

Description:

Copyright: Copyright (c) 2007

Company: Clark & Parsia, LLC.

Author:
Ron Alford

Constructor Summary
Rule(aterm.ATermAppl name, java.util.Collection<? extends RuleAtom> head, java.util.Collection<? extends RuleAtom> body)
           
Rule(aterm.ATermAppl name, java.util.Collection<? extends RuleAtom> head, java.util.Collection<? extends RuleAtom> body, java.util.Set<aterm.ATermAppl> explanation)
           
Rule(java.util.Collection<? extends RuleAtom> head, java.util.Collection<? extends RuleAtom> body)
           
Rule(java.util.Collection<? extends RuleAtom> head, java.util.Collection<? extends RuleAtom> body, java.util.Set<aterm.ATermAppl> explanation)
           
 
Method Summary
 boolean equals(java.lang.Object other)
           
 java.util.Collection<? extends RuleAtom> getBody()
           
 java.util.Set<aterm.ATermAppl> getExplanation(RulesToATermTranslator translator)
           
 java.util.Collection<? extends RuleAtom> getHead()
           
 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.Collection<? extends RuleAtom> head,
            java.util.Collection<? extends RuleAtom> body)

Rule

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

Rule

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

Rule

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

getExplanation

public java.util.Set<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 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


Copyright © 2004 Evren Sirin. All Rights Reserved.