public class BlockingContext extends Object
| Constructor and Description |
|---|
BlockingContext(Individual blocked) |
| Modifier and Type | Method and Description |
|---|---|
protected Set<Role> |
getIncomingRoles()
Returns the roles that points to the blocked candidate from its parent and
cache the result for future use.
|
protected static Set<Role> |
getIncomingRoles(Individual ind)
Returns the roles that points to the given individual from its parent.
|
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.
|
String |
toString() |
public BlockingContext(Individual blocked)
public boolean moveBlockerUp()
true if the new blocker candidate is allowed to
blockpublic boolean moveBlockerDown(Node child)
child - child of the current blockertrue if the new blocker candidate is allowed to
blockpublic boolean isRSuccessor(Role r)
r - the property to check for r-successor relationpublic boolean isInvSuccessor()
protected Set<Role> getIncomingRoles()
protected static Set<Role> getIncomingRoles(Individual ind)
ind - individual to checkCopyright © 2019. All rights reserved.