DSL.h File Reference

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Namespaces
	DSL

Variables
const auto	DSL::card_gt = +[](Set x, Set y) -> bool { return x.size() > y.size(); }
const auto	DSL::card_eq = +[](Set x, Set y) -> bool { return x.size() == y.size(); }
const auto	DSL::empty = +[](Set x) -> bool { return x.size() == 0; }
const auto	DSL::singleton = +[](Set x) -> bool { return x.size() == 1; }
const auto	DSL::doubleton = +[](Set x) -> bool { return x.size() == 2; }
const auto	DSL::tripleton = +[](Set x) -> bool { return x.size() == 3; }
const auto	DSL::eq = +[](Set x, Set y) -> bool { return x==y; }
const auto	DSL::presup
const auto	DSL::context = +[](Utterance u) -> Set { return u.context; }
const auto	DSL::shape = +[](Utterance u) -> Set { return u.shape; }
const auto	DSL::color = +[](Utterance u) -> Set { return u.color; }
const auto	DSL::emptyset = +[]() -> Set { return Set(); }
const auto	DSL::subset
const auto	DSL::intersection
const auto	DSL::myunion
const auto	DSL::complement
const auto	DSL::difference
const auto	DSL::filter_color
const auto	DSL::filter_shape