edu.lehigh.swat.hawk.fol
Class HornRule
java.lang.Object
edu.lehigh.swat.hawk.fol.HornRule
- All Implemented Interfaces:
- java.io.Serializable
public class HornRule
- extends java.lang.Object
- implements java.io.Serializable
Title:
Description: Wrapping FOL Horn rule
Copyright: Copyright (c) 2006
Company: Lehigh University
- See Also:
- Serialized Form
Field Summary |
static int |
X
|
static int |
Y
|
static int |
Z
|
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
X
public static final int X
- See Also:
- Constant Field Values
Y
public static final int Y
- See Also:
- Constant Field Values
Z
public static final int Z
- See Also:
- Constant Field Values
HornRule
public HornRule()
HornRule
public HornRule(Atom h,
java.util.Vector b)
getHead
public Atom getHead()
setHead
public void setHead(Atom h)
getBody
public java.util.Vector<Atom> getBody()
addToBody
public void addToBody(Atom at)
removeFromBody
public void removeFromBody(Atom at)
getNewVariable
public int getNewVariable()
getVariable
public int getVariable()
toString
public java.lang.String toString()
- Overrides:
toString
in class java.lang.Object