org.mindswap.pellet

Interface Edge

All Known Implementing Classes:

CachedEdge, CachedInEdge, CachedOutEdge, DefaultEdge

public interface Edge

Title:

Description: Represents an edge in the tableau completion graph.

Copyright: Copyright (c) 2008

Company: Clark & Parsia, LLC.

Author:

Evren Sirin

Method Summary

Methods

Modifier and Type	Method and Description
DependencySet	getDepends()
Individual	getFrom()
aterm.ATermAppl	getFromName()
Node	getNeighbor(Node node) Given a node upon which this edge is incident, the opposite incident node is returned.
Role	getRole()
Node	getTo()
aterm.ATermAppl	getToName()
void	setDepends(DependencySet ds)

Method Detail

getNeighbor

Node getNeighbor(Node node)

Given a node upon which this edge is incident, the opposite incident node is returned.

Parameters:

node - a node upon which this edge is incident

Returns:

the other node this edge is incident upon

getDepends

DependencySet getDepends()

Returns:

Returns the depends.

setDepends

void setDepends(DependencySet ds)

getFrom

Individual getFrom()

Returns:

Returns the source of this edge

getFromName

aterm.ATermAppl getFromName()

Returns:

Returns the name of the source node

getRole

Role getRole()

Returns:

Returns the role.

getTo

Node getTo()

Returns:

Returns the target of the edge

getToName

aterm.ATermAppl getToName()

Returns:

Returns the name of the target node