souffle::ast::DeltaInputSips Class Reference

Goal: prioritise (1) all-bound, then (2) deltas, then (3) input, and then (4) left-most. More...

#include <SipsMetric.h>

Inheritance diagram for souffle::ast::DeltaInputSips:

Collaboration diagram for souffle::ast::DeltaInputSips:

Public Member Functions
	DeltaInputSips (const analysis::RelationDetailCacheAnalysis &relDetail, const analysis::IOTypeAnalysis &ioTypes)
Public Member Functions inherited from souffle::ast::SipsMetric
std::vector< unsigned int >	getReordering (const Clause *clause) const
	Determines the new ordering of a clause after the SIPS is applied. More...
virtual	~SipsMetric ()=default

Protected Member Functions
std::vector< double >	evaluateCosts (const std::vector< Atom * > atoms, const BindingStore &bindingStore) const override
	Evaluates the cost of choosing each atom next in the current schedule. More...

Private Attributes
const analysis::IOTypeAnalysis &	ioTypes
const analysis::RelationDetailCacheAnalysis &	relDetail

Additional Inherited Members
Static Public Member Functions inherited from souffle::ast::SipsMetric
static std::unique_ptr< SipsMetric >	create (const std::string &heuristic, const TranslationUnit &tu)
	Create a SIPS metric based on a given heuristic. More...

Detailed Description

Goal: prioritise (1) all-bound, then (2) deltas, then (3) input, and then (4) left-most.

Definition at line 176 of file SipsMetric.h.

Constructor & Destructor Documentation

DeltaInputSips()

souffle::ast::DeltaInputSips::DeltaInputSips ( const analysis::RelationDetailCacheAnalysis &  relDetail, const analysis::IOTypeAnalysis &  ioTypes  )

inline

Definition at line 178 of file SipsMetric.h.

            : relDetail(relDetail), ioTypes(ioTypes) {}

Member Function Documentation

evaluateCosts()

std::vector< double > souffle::ast::DeltaInputSips::evaluateCosts ( const std::vector< Atom * >  atoms, const BindingStore &  bindingStore  ) const

overrideprotectedvirtual

Evaluates the cost of choosing each atom next in the current schedule.

Parameters

atoms	atoms to choose from; may be nullptr
bindingStore	the variables already bound to a value

Implements souffle::ast::SipsMetric.

Definition at line 321 of file SipsMetric.cpp.

                               {
            // prioritise all-bound
            cost.push_back(0);
        } else if (isDeltaRelation(relName)) {
            // then deltas
            cost.push_back(1);
        } else if (ioTypes.isInput(relDetail.getRelation(relName))) {
            // then input
            cost.push_back(2);
        } else {
            cost.push_back(3);
        }
    }
    return cost;
}
 
}  // namespace souffle::ast

Field Documentation

ioTypes

const analysis::IOTypeAnalysis& souffle::ast::DeltaInputSips::ioTypes

private

Definition at line 188 of file SipsMetric.h.

relDetail

const analysis::RelationDetailCacheAnalysis& souffle::ast::DeltaInputSips::relDetail

private

Definition at line 187 of file SipsMetric.h.

---

The documentation for this class was generated from the following files:

• ast/utility/SipsMetric.h
• ast/utility/SipsMetric.cpp