clingo
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Groups
Public Member Functions | Friends | List of all members
Clasp::WeightConstraint::CPair Class Reference

#include <weight_constraint.h>

Collaboration diagram for Clasp::WeightConstraint::CPair:
Collaboration graph

Public Member Functions

 CPair ()
 
bool ok () const
 
WeightConstraintfirst () const
 
WeightConstraintsecond () const
 

Friends

class WeightConstraint
 

Constructor & Destructor Documentation

Clasp::WeightConstraint::CPair::CPair ( )
inline

Member Function Documentation

WeightConstraint* Clasp::WeightConstraint::CPair::first ( ) const
inline
bool Clasp::WeightConstraint::CPair::ok ( ) const
inline
WeightConstraint* Clasp::WeightConstraint::CPair::second ( ) const
inline

Friends And Related Function Documentation

friend class WeightConstraint
friend

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