test_logic.cpp File Reference

#include <cstdio>
#include <cstdlib>
#include <algorithm>
#include <vector>
#include <pr_bgl/heap_indexed.h>
#include <ompl_lemur/logic_engine.h>
#include <gtest/gtest.h>

Functions
	TEST (LogicTestCase, IdentityTest)
	TEST (LogicTestCase, ModusPonensTest)
int	main (int argc, char **argv)

Detailed Description

Author

Chris Dellin cdell.nosp@m.in@g.nosp@m.mail..nosp@m.com

Copyright

2015 Carnegie Mellon University

License: BSD