Method | Description | |
---|---|---|
ConjunctiveProposition ( IProposition left, IProposition right ) : System | ||
holds ( Object>.Map |
||
toString ( ) : String |
public ConjunctiveProposition ( IProposition left, IProposition right ) : System | ||
left | IProposition | |
right | IProposition | |
return | System |
public holds ( Object>.Map |
||
possibleWorld | Object>.Map | |
return | bool |