6 #ifndef KNOWROB_ATOMIC_H
7 #define KNOWROB_ATOMIC_H
32 class Atomic :
public Term {
static std::shared_ptr< Atomic > makeTripleValue(const Triple &triple)
const AtomicType atomicType_
~Atomic() override=default
size_t hashOfAtomic() const
void write(std::ostream &os) const override
bool isSameAtomic(const Atomic &other) const
Atomic(AtomicType atomicType)
const std::set< std::string_view > & variables() const final
virtual std::string_view stringForm() const =0
AtomicType atomicType() const
static const std::set< std::string_view > noVariables_