rmtld3.h File Reference

#include <assert.h>

Include dependency graph for rmtld3.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Macros
#define	make_duration(r, b)   std::make_pair((realnumber)r, b)
#define	b3_to_b4(b3)   (b3 == T_TRUE) ? FV_TRUE : ((b3 == T_FALSE) ? FV_FALSE : FV_UNKNOWN)
#define	b4_to_b3(b4)   (b4 == FV_TRUE) ? T_TRUE : ((b4 == FV_FALSE) ? T_FALSE : T_UNKNOWN)
#define	b3_or(b31, b32)
#define	b3_not(b3)   ((b3 == T_TRUE) ? T_FALSE : ((b3 == T_FALSE) ? T_TRUE : T_UNKNOWN))
#define	b3_lessthan(n1, n2)
#define	ASSERT_RMTLD3(l)   assert(l)
#define	DEBUGV_RMTLD3(...)
#define	DEBUG_RTMLD3(...)
#define	out_p(res)   (res == T_TRUE) ? "true" : ((res == T_FALSE) ? "false" : "unknown")
#define	out_fv(fv)

Typedefs
typedef unsigned int	proposition
typedef float	realnumber
typedef std::pair< realnumber, bool >	duration

Enumerations
enum	three_valued_type { T_TRUE, T_FALSE, T_UNKNOWN }
enum	four_valued_type { FV_TRUE, FV_FALSE, FV_UNKNOWN, FV_SYMBOL }

Functions
duration	sum_dur (const duration &lhs, const duration &rhs)
duration	mult_dur (const duration &lhs, const duration &rhs)

Variables
int	count_until_iterations

Macro Definition Documentation

ASSERT_RMTLD3

#define ASSERT_RMTLD3

(

l

)

assert(l)

b3_lessthan

#define b3_lessthan	(		n1,
			n2
	)

Value:

((std::get<1>(n1) || std::get<1>(n2))                                        \
       ? T_UNKNOWN                                                             \
       : ((std::get<0>(n1) < std::get<0>(n2)) ? T_TRUE : T_FALSE))

Relation operator <

b3_not

#define b3_not

(

b3

)

((b3 == T_TRUE) ? T_FALSE : ((b3 == T_FALSE) ? T_TRUE : T_UNKNOWN))

NOT

b3_or

#define b3_or	(		b31,
			b32
	)

Value:

(b31 == T_TRUE || b32 == T_TRUE)                                             \
      ? T_TRUE                                                                 \
      : ((b31 == T_FALSE && b32 == T_FALSE) ? T_FALSE : T_UNKNOWN)

OR

b3_to_b4

#define b3_to_b4

(

b3

)

(b3 == T_TRUE) ? FV_TRUE : ((b3 == T_FALSE) ? FV_FALSE : FV_UNKNOWN)

b4_to_b3

#define b4_to_b3

(

b4

)

(b4 == FV_TRUE) ? T_TRUE : ((b4 == FV_FALSE) ? T_FALSE : T_UNKNOWN)

DEBUG_RTMLD3

#define DEBUG_RTMLD3

(

...

)

DEBUGV_RMTLD3

#define DEBUGV_RMTLD3

(

...

)

make_duration

#define make_duration	(		r,
			b
	)		std::make_pair((realnumber)r, b)

out_fv

#define out_fv

(

fv

)

Value:

(fv == FV_TRUE)                                                              \
      ? "true"                                                                 \
      : ((fv == FV_FALSE) ? "false"                                            \
                          : ((fv == FV_UNKNOWN) ? "unknown" : "symbol"))

out_p

#define out_p

(

res

)

(res == T_TRUE) ? "true" : ((res == T_FALSE) ? "false" : "unknown")

Typedef Documentation

duration

typedef std::pair<realnumber, bool> duration

proposition

typedef unsigned int proposition

realnumber

typedef float realnumber

Enumeration Type Documentation

four_valued_type

enum four_valued_type

Enumerator
FV_TRUE
FV_FALSE
FV_UNKNOWN
FV_SYMBOL

three_valued_type

enum three_valued_type

Enumerator
T_TRUE
T_FALSE
T_UNKNOWN

Function Documentation

mult_dur()

duration mult_dur ( const duration &  lhs, const duration &  rhs  )

inline

sum_dur()

duration sum_dur ( const duration &  lhs, const duration &  rhs  )

inline

Variable Documentation

count_until_iterations

int count_until_iterations