lucid  0.0.1
Lifting-based Uncertain Control Invariant Dynamics
Loading...
Searching...
No Matches
main.cpp File Reference
#include <chrono>
#include <iostream>
#include <memory>
#include <span>
#include <string>
#include <utility>
#include <vector>
#include "lucid/lucid.h"
#include "lucid/util/error.h"
#include "lucid/util/logging.h"

Functions

int main (const int argc, char *argv[])
 Main function.
 

Detailed Description

Author
Room 6.030
Licence:
Apache-2.0 license

Function Documentation

◆ main()

int main ( const int argc,
char * argv[] )

Main function.

Parameters
argcNumber of arguments.
argvArguments.
Returns
Execution status.