fixed a few things

This commit is contained in:
Daniel Russel 2006-02-13 06:14:00 +00:00
parent cec5c6c54e
commit 57a0e5580f
3 changed files with 6 additions and 13 deletions

View File

@ -46,17 +46,17 @@ The following are functors which generate \ccc{Certificate} objects. Each has a
\ccNestedType{Weighted_positive_orientation_3}
\ccNestedType{Less_x_1}
\ccNestedType{Is_less_x_1}
\ccNestedType{Less_x_2}
\ccNestedType{Is_less_x_2}
\ccNestedType{Less_y_2}
\ccNestedType{Is_less_y_2}
\ccNestedType{Less_x_3}
\ccNestedType{Is_less_x_3}
\ccNestedType{Less_y_3}
\ccNestedType{Is_less_y_3}
\ccNestedType{Less_z_3}
\ccNestedType{Is_less_z_3}

View File

@ -12,10 +12,6 @@ int main(int, char *[])
KDel kdel(tr);
Traits::Simulator::Pointer sp= tr.simulator_pointer();
Traits::Function_kernel::Construct_function cf
= tr.function_kernel_object().construct_function_object();
std::ifstream in("data/weighted_points_3");
in >> *tr.active_objects_table_pointer();

View File

@ -18,9 +18,6 @@ int main(int, char *[])
Sort sort(tr);
Traits::Simulator::Pointer sp= tr.simulator_pointer();
Traits::Function_kernel::Construct_function fc= tr.function_kernel_object().construct_function_object();
std::ifstream in("data/points_1");
in >> *tr.active_objects_table_pointer();