Package com.semedy.reasoner.api.logic

Class Path

java.lang.Object

com.semedy.reasoner.api.logic.Path

public class Path
extends Object

represents a path in OO-logic

Author:

angele

Constructor Summary

Constructors

Constructor	Description
Path(Object head)

Method Summary

Modifier and Type	Method	Description
void	addPropertyName(String propertyName)	add a property name
Object	getHead()	get head of path, can be a variable or a ground term
List<String>	getPropertyNames()	get list of property names
String	toString()

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Details

Path

public Path(Object head)

Method Details

addPropertyName

public void addPropertyName(String propertyName)

add a property name

Parameters:

propertyName -

getHead

public Object getHead()

get head of path, can be a variable or a ground term

Returns:

getPropertyNames

public List<String> getPropertyNames()

get list of property names

Returns:

toString

public String toString()

Overrides:

toString in class Object