메소드 | 설명 | |
---|---|---|
AbstractProposition ( ) : System | ||
getScope ( ) : Set |
||
getUnboundScope ( ) : Set |
||
holds ( Object>.Map |
메소드 | 설명 | |
---|---|---|
addScope ( List |
||
addScope ( RandomVariable var ) : void | ||
addUnboundScope ( List |
||
addUnboundScope ( RandomVariable var ) : void |
protected addUnboundScope ( RandomVariable var ) : void | ||
var | RandomVariable | |
리턴 | void |
public abstract holds ( Object>.Map |
||
possibleWorld | Object>.Map | |
리턴 | bool |