Class AltComponentAnalyzer

• Defined in File alt_component_analyzer.h

Class Documentation

class AltComponentAnalyzer

alt_component_analyzer.h

Purpose: Defines the AltComponentAnalyzer() class that analyzes a Boolean formula for connected components.

Copyright (C) 2018 Zayd Hammoudeh. All rights reserved.

Author

Zayd Hammoudeh zayd@ucsc.edu

Version

0.00.00

This software may be modified and distributed under the terms of the MIT license. See the LICENSE file for details.

Original Author: Marc Thurley.

Public Functions

AltComponentAnalyzer(DataAndStatistics &statistics, LiteralIndexedVector<TriValue> &lit_values)

const unsigned scoreOf(VariableIndex v) const

ComponentArchetype &current_archetype()

void initialize(LiteralIndexedVector<Literal> &literals, std::vector<LiteralID> &lit_pool)

alt_component_analyzer.cpp

Purpose: Defines the methods for the AltComponentAnalyzer() class.

Copyright (C) 2018 Zayd Hammoudeh. All rights reserved.

Author

Zayd Hammoudeh zayd@ucsc.edu

Version

0.00.00

This software may be modified and distributed under the terms of the MIT license. See the LICENSE file for details.

Original Author: Marc Thurley.

bool isUnseenAndActive(VariableIndex v)

bool manageSearchOccurrenceOf(LiteralID lit)

bool manageSearchOccurrenceAndScoreOf(LiteralID lit)

void setSeenAndStoreInSearchStack(VariableIndex v)

void setupAnalysisContext(StackLevel &top, Component &super_comp)

bool exploreRemainingCompOf(VariableIndex v)

Component *makeComponentFromArcheType()

unsigned max_clause_id()

Maximum clause ID number.

This is used to determine the packing size (m).

Return

Maximum clause identification number

unsigned max_variable_id()

Maximum variable ID number.

This is used to determine the packing size (n).

Return

Maximum variable identification number

ComponentArchetype &getArchetype()