KJB
|
#include <Semantic_traits.h>
Public Types | |
enum | { n_args = 1, type_code = 7, TARGET = 0 } |
typedef Unary_relation_primitive | Head_type |
Static Public Member Functions | |
static const Step_code::Weights & | step_filter () |
typedef Unary_relation_primitive semantics::Semantic_traits< Unary_predicate >::Head_type |
|
inlinestatic |