Difference: LogicInAMPL (5 vs. 6)

Revision 62008-04-06 - MichaelOSullivan

Line: 1 to 1
<-- Ready to Review -->
Line: 51 to 51
  However, there are some special logical expressions in AMPL for use with sets:
  1. <e> in <SET> is true if <e> is a member of <SET>;
  1. {\tt <e> not in <SET>} is false if <e> is a member of <SET>;
  1. <e> not in <SET> is false if <e> is a member of <SET>;
  1. exists {<e> in <SET>} <expression> is true if some <e> in <SET> has <expression> being true;
  2. forall {<e> in <SET>} <expression> is true if all <e> in <SET> have <expression> being true;
  3. <SUBSET> within <SET> is true if all the elements in <SUBSET> are in <SET>;
This site is powered by the TWiki collaboration platform Powered by PerlCopyright © 2008-2021 by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding TWiki? Send feedback