knowrob  2.1.0
A Knowledge Base System for Cognition-enabled Robots
Public Member Functions | Protected Attributes | List of all members
knowrob::SimpleConjunction Class Reference

#include <SimpleConjunction.h>

Inheritance diagram for knowrob::SimpleConjunction:
Inheritance graph
[legend]
Collaboration diagram for knowrob::SimpleConjunction:
Collaboration graph
[legend]

Public Member Functions

 SimpleConjunction (const std::vector< FirstOrderLiteralPtr > &literals)
 
 SimpleConjunction (const FirstOrderLiteralPtr &literal)
 
auto & literals () const
 
 SimpleConjunction (const std::vector< FirstOrderLiteralPtr > &literals)
 
 SimpleConjunction (const FirstOrderLiteralPtr &literal)
 
auto & literals () const
 
- Public Member Functions inherited from knowrob::Conjunction
 Conjunction (const std::vector< FormulaPtr > &formulae)
 
const char * operator_symbol () const override
 
 Conjunction (const std::vector< FormulaPtr > &formulae)
 
const char * operator_symbol () const override
 
- Public Member Functions inherited from knowrob::CompoundFormula
 CompoundFormula (FormulaType type, const std::vector< FormulaPtr > &formulae)
 
virtual ~CompoundFormula ()=default
 
const std::vector< FormulaPtr > & formulae () const
 
void write (std::ostream &os) const override
 
 CompoundFormula (FormulaType type, const std::vector< FormulaPtr > &formulae)
 
virtual ~CompoundFormula ()=default
 
const std::vector< FormulaPtr > & formulae () const
 
void write (std::ostream &os) const override
 
- Public Member Functions inherited from knowrob::Formula
 Formula (const FormulaType &type)
 
virtual ~Formula ()=default
 
bool operator== (const Formula &other) const
 
FormulaType type () const
 
bool isAtomic () const
 
bool isGround () const
 
bool isTop () const
 
bool isBottom () const
 
 Formula (const FormulaType &type)
 
virtual ~Formula ()=default
 
bool operator== (const Formula &other) const
 
FormulaType type () const
 
bool isAtomic () const
 
bool isGround () const
 
bool isTop () const
 
bool isBottom () const
 
- Public Member Functions inherited from knowrob::Printable
virtual ~Printable ()=default
 
virtual std::string format () const
 
virtual ~Printable ()=default
 
virtual std::string format () const
 

Protected Attributes

std::vector< FirstOrderLiteralPtr > literals_
 
- Protected Attributes inherited from knowrob::CompoundFormula
const std::vector< FormulaPtr > formulae_
 
- Protected Attributes inherited from knowrob::Formula
const FormulaType type_
 
bool isGround_ = true
 

Additional Inherited Members

- Protected Member Functions inherited from knowrob::Conjunction
bool isEqual (const Formula &other) const override
 
bool isEqual (const Formula &other) const override
 
- Protected Member Functions inherited from knowrob::CompoundFormula
bool isGround1 () const
 
bool isGround1 () const
 

Detailed Description

A conjunction of literals.

Definition at line 16 of file SimpleConjunction.h.

Constructor & Destructor Documentation

◆ SimpleConjunction() [1/4]

SimpleConjunction::SimpleConjunction ( const std::vector< FirstOrderLiteralPtr > &  literals)
explicit
Parameters
literalssequence of literals in conjunction.

Definition at line 24 of file SimpleConjunction.cpp.

25  : Conjunction(literalsToFormulae(literals)), literals_(literals) {
26 }
literalsToFormulae
std::vector< FormulaPtr > literalsToFormulae(const std::vector< FirstOrderLiteralPtr > &literals)
Definition: SimpleConjunction.cpp:12
knowrob::Conjunction::Conjunction
Conjunction(const std::vector< FormulaPtr > &formulae)
Definition: Conjunction.cpp:13
knowrob::SimpleConjunction::literals_
std::vector< FirstOrderLiteralPtr > literals_
Definition: SimpleConjunction.h:34

◆ SimpleConjunction() [2/4]

SimpleConjunction::SimpleConjunction ( const FirstOrderLiteralPtr &  literal)
explicit
Parameters
literala literal.

Definition at line 28 of file SimpleConjunction.cpp.

29  : SimpleConjunction(std::vector<FirstOrderLiteralPtr>{literal}) {
30 }
knowrob::SimpleConjunction::SimpleConjunction
SimpleConjunction(const std::vector< FirstOrderLiteralPtr > &literals)
Definition: SimpleConjunction.cpp:24

◆ SimpleConjunction() [3/4]

knowrob::SimpleConjunction::SimpleConjunction ( const std::vector< FirstOrderLiteralPtr > &  literals)
explicit
Parameters
literalssequence of literals in conjunction.

◆ SimpleConjunction() [4/4]

knowrob::SimpleConjunction::SimpleConjunction ( const FirstOrderLiteralPtr &  literal)
explicit
Parameters
literala literal.

Member Function Documentation

◆ literals() [1/2]

auto& knowrob::SimpleConjunction::literals ( ) const
inline
Returns
sequence of literals in conjunction.

Definition at line 31 of file SimpleConjunction.h.

31 { return literals_; }

◆ literals() [2/2]

auto& knowrob::SimpleConjunction::literals ( ) const
inline
Returns
sequence of literals in conjunction.

Definition at line 31 of file SimpleConjunction.h.

31 { return literals_; }

Member Data Documentation

◆ literals_

std::vector< FirstOrderLiteralPtr > knowrob::SimpleConjunction::literals_
protected

Definition at line 34 of file SimpleConjunction.h.

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