Class ClauseHeader

• Defined in File structures.h

Class Documentation

class ClauseHeader

Public Functions

void increaseScore()

void decayScore()

unsigned score() const

unsigned creation_time()

unsigned length()

void set_length(unsigned length)

void set_creation_time(unsigned time)

Public Static Functions

static unsigned overheadInLits()