Class ComponentArchetype

• Defined in File component_archetype.h

Class Documentation

class ComponentArchetype

Public Functions

ComponentArchetype()

ComponentArchetype(StackLevel &stack_level, Component &super_comp)

void reInitialize(StackLevel &stack_level, Component &super_comp)

Component &super_comp()

StackLevel &stack_level()

void setVar_in_sup_comp_unseen(VariableIndex v)

void setClause_in_sup_comp_unseen(ClauseIndex cl)

void setVar_nil(VariableIndex v)

void setClause_nil(ClauseIndex cl)

void setVar_seen(VariableIndex v)

void setClause_seen(ClauseIndex cl)

void setClause_seen(ClauseIndex cl, bool all_lits_act)

void setVar_in_other_comp(VariableIndex v)

void setClause_in_other_comp(ClauseIndex cl)

bool var_seen(VariableIndex v) const

bool clause_seen(ClauseIndex cl) const

bool clause_all_lits_active(ClauseIndex cl)

void setClause_all_lits_active(ClauseIndex cl) const

bool var_nil(VariableIndex v) const

bool clause_nil(ClauseIndex cl) const

bool var_unseen_in_sup_comp(VariableIndex v) const

bool clause_unseen_in_sup_comp(ClauseIndex cl) const

bool var_seen_in_peer_comp(VariableIndex v) const

bool clause_seen_in_peer_comp(ClauseIndex cl) const

Component *makeComponentFromState(unsigned long stack_size)

Public Members

Component current_comp_for_caching_

Public Static Functions

static void initArrays(unsigned max_variable_id, unsigned max_clause_id)

static void clearArrays()