|
Public Member Functions |
|
| AskTell_Pair (const CS &ask, const CS &tell) |
| | Pair constructor.
|
|
const CS & | ask () const |
| | Const accessor to the ask component.
|
|
CS & | ask () |
| | Non-const accessor to the ask component.
|
|
const CS & | tell () const |
| | Const accessor to the ask component.
|
|
CS & | tell () |
| | Non-const accessor to the tell component.
|
|
bool | definitely_entails (const AskTell_Pair &y) const |
| | Returns true if *this definitely entails y. Returns false if *this may not entail y (i.e., if *this does not entail y or if entailment could not be decided).
|