edu.lehigh.swat.obione
Class GAVMapView

java.lang.Object
  edu.lehigh.swat.obione.Map
      edu.lehigh.swat.obione.GAVMapView

public class GAVMapView
extends Map

Models a GAV peer map

Author:

abirqasem

Field Summary

private java.util.Vector<MapAtom>	body
private MapAtom	head

Fields inherited from class edu.lehigh.swat.obione.Map

sourceOnt, targetOnt

Constructor Summary

GAVMapView(MapAtom head, java.util.Vector<MapAtom> body)

GAVMapView(org.semanticweb.kaon2.api.rules.Rule r)
Constructs a GAVMapView from a horn rule

Method Summary

java.util.Vector<MapAtom>	getBody()
MapAtom	getHead()
org.semanticweb.kaon2.api.rules.Rule	getRule()
java.lang.String	getSourceOnt()
java.lang.String	getTargetOnt()
java.util.List<org.semanticweb.kaon2.api.rules.Variable>	getVariables() Returns the variables of map
static void	main(java.lang.String[] args) Test method
java.lang.String	toString()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

head

private MapAtom head

body

private java.util.Vector<MapAtom> body

Constructor Detail

GAVMapView

public GAVMapView(MapAtom head,
                  java.util.Vector<MapAtom> body)

GAVMapView

public GAVMapView(org.semanticweb.kaon2.api.rules.Rule r)

Constructs a GAVMapView from a horn rule

Parameters:

r -

Method Detail

getSourceOnt

public java.lang.String getSourceOnt()

Specified by:

getSourceOnt in class Map

getTargetOnt

public java.lang.String getTargetOnt()

Specified by:

getTargetOnt in class Map

getBody

public java.util.Vector<MapAtom> getBody()

getHead

public MapAtom getHead()

getRule

public org.semanticweb.kaon2.api.rules.Rule getRule()

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

getVariables

public java.util.List<org.semanticweb.kaon2.api.rules.Variable> getVariables()

Returns the variables of map

Specified by:

getVariables in class Map

Parameters:

m -

Returns:

main

public static void main(java.lang.String[] args)

Test method

Parameters:

args -