|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectorg.mindswap.pellet.tableau.blocking.BlockingContext
public class BlockingContext
A class to keep track of the current individual being tested for blocking conditions. Current context stores the blocker candidate and caches the incoming edges to the (possibly) blocked individual since multiple blocking conditions need to access that information.
Constructor Summary | |
---|---|
BlockingContext(Individual blocked)
|
Method Summary | |
---|---|
boolean |
isInvSuccessor()
Returns if the role from the parent of blocked candidate has any inverse super properties. |
boolean |
isRSuccessor(Role r)
Returns if the blocked node is an r-successor of its parent. |
boolean |
moveBlockerDown(Node child)
Sets the blocker to the specified child of the current blocker and returns if the new blocker candidate is allowed to block. |
boolean |
moveBlockerUp()
Sets the blocker to the parent of current blocker and checks if if the new blocker candidate is allowed to block. |
java.lang.String |
toString()
|
Methods inherited from class java.lang.Object |
---|
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Constructor Detail |
---|
public BlockingContext(Individual blocked)
Method Detail |
---|
public boolean moveBlockerUp()
true
if the new blocker candidate is allowed to
blockpublic boolean moveBlockerDown(Node child)
child
- child of the current blocker
true
if the new blocker candidate is allowed to
blockpublic boolean isRSuccessor(Role r)
r
- the property to check for r-successor relation
public boolean isInvSuccessor()
public java.lang.String toString()
toString
in class java.lang.Object
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |