Function NOT_A_CLAUSE

Function Documentation

static const ClauseIndex NOT_A_CLAUSE(0)