Previous Page Next Page Contents

property::implies -- test whether one property implies another

Introduction

property::implies(prop_1, prop_2) tries to decide whether prop_1 implies prop_2 or its converse.

Call(s)

property::implies(prop_1, prop_2)

Parameters

prop_1, prop_2 - any properties

Returns

TRUE, FALSE, or UNKNOWN

Related Functions

is, assume, property::simpex, bool

Details

Example 1

Every positive integer is positive:

>> property::implies(Type::PosInt, Type::Positive)
                                   TRUE

Some positive numbers are positive integers, and some are not:

>> property::implies(Type::Positive, Type::PosInt)
                                  UNKNOWN

No positive number is a negative integer:

>> property::implies(Type::Positive, Type::NegInt)
                                   FALSE

Changes




Do you have questions or comments?


Copyright © SciFace Software GmbH & Co. KG 2000