edu.lehigh.swat.hawk.fol
Class HornRule

java.lang.Object
  extended by 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
           
 
Constructor Summary
HornRule()
           
HornRule(Atom h, java.util.Vector b)
           
 
Method Summary
 void addToBody(Atom at)
           
 java.util.Vector<Atom> getBody()
           
 Atom getHead()
           
 int getNewVariable()
           
 int getVariable()
           
 void removeFromBody(Atom at)
           
 void setHead(Atom h)
           
 java.lang.String toString()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Field Detail

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
Constructor Detail

HornRule

public HornRule()

HornRule

public HornRule(Atom h,
                java.util.Vector b)
Method Detail

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