#include <Disjunction.h>

Inheritance diagram for knowrob::Disjunction:

[legend]

Collaboration diagram for knowrob::Disjunction:

[legend]

Public Member Functions
	Disjunction (const std::vector< FormulaPtr > &formulae)

const char *	operator_symbol () const override

	Disjunction (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 Member Functions
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

Additional Inherited Members
Protected Attributes inherited from knowrob::CompoundFormula
const std::vector< FormulaPtr >	formulae_

Protected Attributes inherited from knowrob::Formula
const FormulaType	type_

bool	isGround_ = true

Detailed Description

A disjunctive expression.

Definition at line 17 of file Disjunction.h.

Constructor & Destructor Documentation

◆ Disjunction() [1/2]

knowrob::Disjunction::Disjunction ( const std::vector< FormulaPtr > & formulae )

explicit

Parameters

formulae list of sub-formulas.

◆ Disjunction() [2/2]

knowrob::Disjunction::Disjunction ( const std::vector< FormulaPtr > & formulae )

explicit

Parameters

formulae list of sub-formulas.

Member Function Documentation

◆ isEqual() [1/2]

bool Disjunction::isEqual ( const Formula & other ) const

overrideprotectedvirtual

Implements knowrob::Formula.

Definition at line 38 of file Disjunction.cpp.

                                                     {
     const auto &x = static_cast<const Disjunction &>(other); // NOLINT
     if (formulae_.size() != x.formulae_.size()) return false;
     for (auto &y1: formulae_) {
         bool hasEqual = false;
         for (auto &y2: x.formulae_) {
             if (*y1 == *y2) {
                 hasEqual = true;
                 break;
             }
         }
         if (!hasEqual) return false;
     }
     return true;
 }

◆ isEqual() [2/2]

bool knowrob::Disjunction::isEqual ( const Formula & other ) const

overrideprotectedvirtual

Implements knowrob::Formula.

◆ operator_symbol() [1/2]

const char* knowrob::Disjunction::operator_symbol ( ) const

inlineoverridevirtual

Returns: symbol string of the operator

Implements knowrob::CompoundFormula.

Definition at line 25 of file Disjunction.h.

25 { return "\u2228"; }

◆ operator_symbol() [2/2]