Skip to content

Commit d4b26fd

Browse files
TendToTendTo
committed
docs: update copyright
1 parent 734e014 commit d4b26fd

28 files changed

+28
-0
lines changed

‎dlinear/parser/smt2/Driver.h

+1
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,7 @@
11
/**
22
* @author Ernesto Casablanca (casablancaernesto@gmail.com)
33
* @copyright 2024 dlinear
4+
* @copyrignt 2017 Toyota Research Institute (dreal4)
45
* @licence BSD 3-Clause License
56
* Driver form the parsing and execution of smt2 files.
67
*

‎dlinear/parser/smt2/FunctionDefinition.h

+1
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,7 @@
11
/**
22
* @author Ernesto Casablanca (casablancaernesto@gmail.com)
33
* @copyright 2024 dlinear
4+
* @copyrignt 2017 Toyota Research Institute (dreal4)
45
* @licence BSD 3-Clause License
56
* Function definition class
67
*

‎dlinear/parser/smt2/Sort.h

+1
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,7 @@
11
/**
22
* @author Ernesto Casablanca (casablancaernesto@gmail.com)
33
* @copyright 2024 dlinear
4+
* @copyrignt 2017 Toyota Research Institute (dreal4)
45
* @licence BSD 3-Clause License
56
* Sort enum.
67
*/

‎dlinear/parser/smt2/Term.h

+1
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,7 @@
11
/**
22
* @author Ernesto Casablanca (casablancaernesto@gmail.com)
33
* @copyright 2024 dlinear
4+
* @copyrignt 2017 Toyota Research Institute (dreal4)
45
* @licence BSD 3-Clause License
56
* Term class.
67
*

‎dlinear/parser/smt2/scanner.h

+1
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,7 @@
11
/**
22
* @author Ernesto Casablanca (casablancaernesto@gmail.com)
33
* @copyright 2024 dlinear
4+
* @copyrignt 2017 Toyota Research Institute (dreal4)
45
* @licence BSD 3-Clause License
56
* Scanner utility class.
67
*

‎dlinear/parser/vnnlib/Driver.h

+1
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,7 @@
11
/**
22
* @author Ernesto Casablanca (casablancaernesto@gmail.com)
33
* @copyright 2024 dlinear
4+
* @copyrignt 2017 Toyota Research Institute (dreal4)
45
* @licence BSD 3-Clause License
56
* Driver form the parsing and execution of vnnlib files.
67
*

‎dlinear/parser/vnnlib/FunctionDefinition.h

+1
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,7 @@
11
/**
22
* @author Ernesto Casablanca (casablancaernesto@gmail.com)
33
* @copyright 2024 dlinear
4+
* @copyrignt 2017 Toyota Research Institute (dreal4)
45
* @licence BSD 3-Clause License
56
* Function definition class
67
*

‎dlinear/parser/vnnlib/Sort.h

+1
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,7 @@
11
/**
22
* @author Ernesto Casablanca (casablancaernesto@gmail.com)
33
* @copyright 2024 dlinear
4+
* @copyrignt 2017 Toyota Research Institute (dreal4)
45
* @licence BSD 3-Clause License
56
* Sort enum.
67
*/

‎dlinear/parser/vnnlib/Term.h

+1
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,7 @@
11
/**
22
* @author Ernesto Casablanca (casablancaernesto@gmail.com)
33
* @copyright 2024 dlinear
4+
* @copyrignt 2017 Toyota Research Institute (dreal4)
45
* @licence BSD 3-Clause License
56
* Term class.
67
*

‎dlinear/parser/vnnlib/scanner.h

+1
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,7 @@
11
/**
22
* @author Ernesto Casablanca (casablancaernesto@gmail.com)
33
* @copyright 2024 dlinear
4+
* @copyrignt 2017 Toyota Research Institute (dreal4)
45
* @licence BSD 3-Clause License
56
* Scanner utility class.
67
*

‎dlinear/symbolic/ExpressionEvaluator.h

+1
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,7 @@
11
/**
22
* @author Ernesto Casablanca (casablancaernesto@gmail.com)
33
* @copyright 2024 dlinear
4+
* @copyrignt 2017 Toyota Research Institute (dreal4)
45
* @licence BSD 3-Clause License
56
* Expression evaluator class.
67
*/

‎dlinear/symbolic/IfThenElseEliminator.h

+1
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,7 @@
11
/**
22
* @author Ernesto Casablanca (casablancaernesto@gmail.com)
33
* @copyright 2024 dlinear
4+
* @copyrignt 2017 Toyota Research Institute (dreal4)
45
* @licence BSD 3-Clause License
56
* IfThenElseEliminator class.
67
*/

‎dlinear/symbolic/NaiveCnfizer.h

+1
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,7 @@
11
/**
22
* @author Ernesto Casablanca (casablancaernesto@gmail.com)
33
* @copyright 2024 dlinear
4+
* @copyrignt 2017 Toyota Research Institute (dreal4)
45
* @licence BSD 3-Clause License
56
* NaiveCnfizer class.
67
*/

‎dlinear/symbolic/Nnfizer.h

+1
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,7 @@
11
/**
22
* @author Ernesto Casablanca (casablancaernesto@gmail.com)
33
* @copyright 2024 dlinear
4+
* @copyrignt 2017 Toyota Research Institute (dreal4)
45
* @licence BSD 3-Clause License
56
* Nnfizer class.
67
*/

‎dlinear/symbolic/PlaistedGreenbaumCnfizer.h

+1
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,7 @@
11
/**
22
* @author Ernesto Casablanca (casablancaernesto@gmail.com)
33
* @copyright 2024 dlinear
4+
* @copyrignt 2017 Toyota Research Institute (dreal4)
45
* @licence BSD 3-Clause License
56
* PlaistedGreenbaumCnfizer class.
67
*/

‎dlinear/symbolic/PredicateAbstractor.h

+1
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,7 @@
11
/**
22
* @author Ernesto Casablanca (casablancaernesto@gmail.com)
33
* @copyright 2024 dlinear
4+
* @copyrignt 2017 Toyota Research Institute (dreal4)
45
* @licence BSD 3-Clause License
56
* PredicateAbstractor class.
67
*/

‎dlinear/symbolic/PrefixPrinter.h

+1
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,7 @@
11
/**
22
* @author Ernesto Casablanca (casablancaernesto@gmail.com)
33
* @copyright 2024 dlinear
4+
* @copyrignt 2017 Toyota Research Institute (dreal4)
45
* @licence BSD 3-Clause License
56
* PrefixPrinter class.
67
*/

‎dlinear/symbolic/TseitinCnfizer.h

+1
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,7 @@
11
/**
22
* @author Ernesto Casablanca (casablancaernesto@gmail.com)
33
* @copyright 2024 dlinear
4+
* @copyrignt 2017 Toyota Research Institute (dreal4)
45
* @licence BSD 3-Clause License
56
* TseininCnfizer class.
67
*/

‎dlinear/symbolic/symbolic.h

+1
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,7 @@
11
/**
22
* @author Ernesto Casablanca (casablancaernesto@gmail.com)
33
* @copyright 2024 dlinear
4+
* @copyrignt 2017 Toyota Research Institute (dreal4)
45
* @licence BSD 3-Clause License
56
* This is the header file that we consolidate Drake's symbolic
67
* classes and expose them inside of dlinear namespace.

‎dlinear/util/Box.h

+1
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,7 @@
11
/**
22
* @author Ernesto Casablanca (casablancaernesto@gmail.com)
33
* @copyright 2024 dlinear
4+
* @copyrignt 2017 Toyota Research Institute (dreal4)
45
* @licence BSD 3-Clause License
56
* Box class.
67
*/

‎dlinear/util/Interval.h

+1
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,7 @@
11
/**
22
* @author Ernesto Casablanca (casablancaernesto@gmail.com)
33
* @copyright 2024 dlinear
4+
* @copyrignt 2017 Toyota Research Institute (dreal4)
45
* @licence BSD 3-Clause License
56
* Interval class.
67
*

‎dlinear/util/RoundingModeGuard.hpp

+1
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,7 @@
11
/**
22
* @author Ernesto Casablanca (casablancaernesto@gmail.com)
33
* @copyright 2024 dlinear
4+
* @copyrignt 2017 Toyota Research Institute (dreal4)
45
* @licence BSD 3-Clause License
56
* RoundingModeGuard class.
67
*/

‎dlinear/util/ScopedUnorderedMap.hpp

+1
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,7 @@
11
/**
22
* @author Ernesto Casablanca (casablancaernesto@gmail.com)
33
* @copyright 2024 dlinear
4+
* @copyrignt 2017 Toyota Research Institute (dreal4)
45
* @licence BSD 3-Clause License
56
* Backtrackable scoped unordered_map.
67
*

‎dlinear/util/ScopedUnorderedSet.hpp

+1
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,7 @@
11
/**
22
* @author Ernesto Casablanca (casablancaernesto@gmail.com)
33
* @copyright 2024 dlinear
4+
* @copyrignt 2017 Toyota Research Institute (dreal4)
45
* @licence BSD 3-Clause License
56
* Backtrackable unordered set.
67
*

‎dlinear/util/ScopedVector.hpp

+1
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,7 @@
11
/**
22
* @author Ernesto Casablanca (casablancaernesto@gmail.com)
33
* @copyright 2024 dlinear
4+
* @copyrignt 2017 Toyota Research Institute (dreal4)
45
* @licence BSD 3-Clause License
56
* Backtrackable scoped vector.
67
*

‎dlinear/util/Stats.h

+1
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,7 @@
11
/**
22
* @author Ernesto Casablanca (casablancaernesto@gmail.com)
33
* @copyright 2024 dlinear
4+
* @copyrignt 2017 Toyota Research Institute (dreal4)
45
* @licence BSD 3-Clause License
56
* Stats class.
67
*/

‎dlinear/util/Timer.h

+1
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,7 @@
11
/**
22
* @author Ernesto Casablanca (casablancaernesto@gmail.com)
33
* @copyright 2024 dlinear
4+
* @copyrignt 2017 Toyota Research Institute (dreal4)
45
* @licence BSD 3-Clause License
56
* Timer class.
67
*/

‎dlinear/util/math.h

+1
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,7 @@
11
/**
22
* @author Ernesto Casablanca (casablancaernesto@gmail.com)
33
* @copyright 2024 dlinear
4+
* @copyrignt 2017 Toyota Research Institute (dreal4)
45
* @licence BSD 3-Clause License
56
* Math utilities.
67
*/

0 commit comments

Comments
 (0)