Classes | Namespaces | Typedefs | Functions | Variables
literal.h File Reference
#include <clasp/util/platform.h>
#include <clasp/pod_vector.h>
#include <algorithm>
#include <limits>
Include dependency graph for literal.h:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes

class  Clasp::ClaspError
struct  Clasp::SymbolTable::LessKey
class  Clasp::Literal
 A literal is a variable or its negation. More...
struct  Clasp::SymbolTable::String
struct  Clasp::SymbolTable::symbol_type
class  Clasp::SymbolTable
 Symbol table that maps external ids to internal literals. More...
struct  Clasp::Var_t
 Possible types of a variable. More...

Namespaces

namespace  Clasp

Typedefs

typedef PodVector< Literal >::type Clasp::LitVec
typedef PodVector< wsum_t >::type Clasp::SumVec
typedef uint8 Clasp::ValueRep
typedef PodVector< ValueRep >::type Clasp::ValueVec
typedef uint32 Clasp::Var
 A variable is currently nothing more but an integer in the range [0..varMax).
typedef Var_t::Type Clasp::VarType
typedef PodVector< Var >::type Clasp::VarVec
typedef int32 Clasp::weight_t
 A signed integer type used to represent weights.
typedef std::pair< Literal,
weight_t > 
Clasp::WeightLiteral
typedef PodVector
< WeightLiteral >::type 
Clasp::WeightLitVec
typedef PodVector< weight_t >::type Clasp::WeightVec
typedef int64 Clasp::wsum_t
 A signed integer type used to represent sums of weights.

Functions

ValueRep Clasp::falseValue (const Literal &lit)
 Returns the value that makes the literal lit false.
uint32 Clasp::index (Var v)
 Returns the index of variable v.
bool Clasp::isSentinel (Literal p)
 Returns true if p represents the special variable 0.
Literal Clasp::negLit (Var v)
 Creates the negative literal of variable v.
bool Clasp::operator!= (const Literal &lhs, const Literal &rhs)
 Returns !(lhs == rhs).
bool Clasp::operator< (const Literal &lhs, const Literal &rhs)
 Defines a strict-weak-ordering for Literals.
Literal Clasp::operator^ (Literal lhs, bool sign)
Literal Clasp::operator^ (bool sign, Literal rhs)
Literal Clasp::posLit (Var v)
 Creates the positive literal of variable v.
void Clasp::swap (Literal &l, Literal &r)
ValueRep Clasp::trueValue (const Literal &lit)
 Returns the value that makes the literal lit true.
bool Clasp::valSign (ValueRep v)
 Returns the sign that matches the value.

Variables

const uint32 Clasp::idMax = UINT32_MAX
 Ids are integers in the range [0..idMax).
const Var Clasp::sentVar = 0
 The variable 0 has a special meaning in the solver.
const ValueRep Clasp::value_false = 2
const ValueRep Clasp::value_free = 0
const ValueRep Clasp::value_true = 1
const Var Clasp::varMax = (Var(1) << 30)
 varMax is not a valid variale, i.e. currently Clasp supports at most 2^30 variables.

Detailed Description

Contains the definition of the class Literal.

Definition in file literal.h.



clasp
Author(s): Benjamin Kaufmann
autogenerated on Thu Aug 27 2015 12:41:40