com.clarkparsia.pellet.rules.model
Class Rule
java.lang.Object
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)
|
Methods inherited from class java.lang.Object |
getClass, notify, notifyAll, wait, wait, wait |
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)
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.