# --------------------------------------------------------------------------- # - AXI0017.als - # - afnix engine test module - # --------------------------------------------------------------------------- # - This program is free software; you can redistribute it and/or modify - # - it provided that this copyright notice is kept intact. - # - - # - This program is distributed in the hope that it will be useful, but - # - without any warranty; without even the implied warranty of - # - merchantability or fitness for a particular purpose. In no event shall - # - the copyright holder be liable for any direct, indirect, incidental or - # - special damages arising in any way out of the use of this software. - # --------------------------------------------------------------------------- # - copyright (c) 1999-2007 amaury darsch - # --------------------------------------------------------------------------- # @info a simple number predicate # @author amaury darsch const real-integer-p (n) (or (integer-p n) (real-p n)) assert true (real-integer-p 1999) assert true (real-integer-p 2000.0) assert false (real-integer-p "hello")