Index

Symbols

--dest pybryt-check command line option pybryt-compile command line option pybryt-execute command line option --name pybryt-compile command line option --output pybryt-check command line option --parallel pybryt-execute command line option --timeout pybryt-execute command line option --type pybryt-check command line option

--version pybryt command line option -d pybryt-check command line option pybryt-compile command line option pybryt-execute command line option -n pybryt-compile command line option -p pybryt-execute command line option -t pybryt-check command line option

A

add() (pybryt.annotations.collection.Collection method) add_call() (pybryt.execution.MemoryFootprint method) add_complexity() (pybryt.annotations.complexity.complexities.ComplexityUnion method) add_imports() (pybryt.execution.MemoryFootprint method) add_result() (pybryt.complexity.TimeComplexityChecker method) add_value() (pybryt.execution.MemoryFootprint method) addl_complexities (pybryt.annotations.complexity.annotation.ComplexityAnnotation attribute) (pybryt.annotations.complexity.annotation.TimeComplexity attribute) after() (pybryt.annotations.annotation.Annotation method)

AndAnnotation (class in pybryt.annotations.relation) Annotation (class in pybryt.annotations.annotation) annotation (pybryt.annotations.annotation.AnnotationResult attribute) AnnotationResult (class in pybryt.annotations.annotation) annotations (pybryt.reference.ReferenceImplementation attribute) apply() (pybryt.annotations.initial_condition.InitialCondition method) atol (pybryt.annotations.value.ReturnValue attribute) (pybryt.annotations.value.Value attribute) Attribute (class in pybryt.annotations.value)

B

before() (pybryt.annotations.annotation.Annotation method)

BeforeAnnotation (class in pybryt.annotations.relation)

C

calls (pybryt.execution.MemoryFootprint attribute) check (class in pybryt.student) check() (pybryt.annotations.annotation.Annotation method) (pybryt.annotations.collection.Collection method) (pybryt.annotations.complexity.annotation.TimeComplexity method) (pybryt.annotations.import_.ForbidImport method) (pybryt.annotations.import_.ImportAnnotation method) (pybryt.annotations.import_.RequireImport method) (pybryt.annotations.relation.AndAnnotation method) (pybryt.annotations.relation.BeforeAnnotation method) (pybryt.annotations.relation.NotAnnotation method) (pybryt.annotations.relation.OrAnnotation method) (pybryt.annotations.relation.RelationalAnnotation method) (pybryt.annotations.relation.XorAnnotation method) (pybryt.annotations.type_.ForbidType method) (pybryt.annotations.value.Attribute method) (pybryt.annotations.value.ReturnValue method) (pybryt.annotations.value.Value method) (pybryt.student.StudentImplementation method) check_against() (pybryt.annotations.value.Attribute method) (pybryt.annotations.value.Value method) check_plagiarism() (pybryt.student.StudentImplementation method) check_time_complexity (class in pybryt.execution)

check_values_equal() (pybryt.annotations.value.Value static method) children (pybryt.annotations.annotation.Annotation property) (pybryt.annotations.annotation.AnnotationResult attribute) (pybryt.annotations.collection.Collection property) (pybryt.annotations.complexity.annotation.ComplexityAnnotation property) (pybryt.annotations.import_.ImportAnnotation property) (pybryt.annotations.relation.RelationalAnnotation property) (pybryt.annotations.type_.ForbidType property) (pybryt.annotations.value.Attribute property) (pybryt.annotations.value.Value property) clear() (pybryt.execution.MemoryFootprint method) Collection (class in pybryt.annotations.collection) combine() (pybryt.execution.MemoryFootprint class method) (pybryt.student.StudentImplementation class method) compile() (pybryt.reference.ReferenceImplementation class method) complexity (class in pybryt.annotations.complexity.complexities) (pybryt.annotations.complexity.annotation.ComplexityAnnotation attribute) (pybryt.annotations.complexity.annotation.TimeComplexity attribute) complexity_class (pybryt.annotations.complexity.complexities.ComplexityClassResult attribute) ComplexityAnnotation (class in pybryt.annotations.complexity.annotation) ComplexityClassResult (class in pybryt.annotations.complexity.complexities) ComplexityUnion (class in pybryt.annotations.complexity.complexities) correct (pybryt.reference.ReferenceResult property) counter (pybryt.execution.MemoryFootprint attribute)

D

debug_mode() (in module pybryt.debug) determine_complexity() (pybryt.complexity.TimeComplexityChecker method)

disable_debug_mode() (in module pybryt.debug) display_name (pybryt.reference.ReferenceImplementation attribute) (pybryt.reference.ReferenceResult property)

E

enable_debug_mode() (in module pybryt.debug) enforce_order (pybryt.annotations.collection.Collection attribute) enforce_type (pybryt.annotations.value.Attribute attribute)

equivalence_fn (pybryt.annotations.value.ReturnValue attribute) (pybryt.annotations.value.Value attribute) errors (pybryt.student.StudentImplementation property) executed_notebook (pybryt.execution.MemoryFootprint attribute)

F

failure_message (pybryt.annotations.annotation.Annotation attribute) (pybryt.annotations.complexity.annotation.TimeComplexity attribute) (pybryt.annotations.import_.RequireImport attribute) filter_out_unpickleable_values() (pybryt.execution.MemoryFootprint method) footprint (pybryt.execution.check_time_complexity attribute) (pybryt.student.StudentImplementation attribute)

ForbidImport (class in pybryt.annotations.import_) ForbidType (class in pybryt.annotations.type_) from_cache() (pybryt.student.StudentImplementation class method) from_footprint() (pybryt.student.StudentImplementation class method) from_or() (pybryt.annotations.complexity.complexities.ComplexityUnion class method) from_values() (pybryt.execution.MemoryFootprint class method)

G

generate_report() (in module pybryt.reference) generate_student_impls() (in module pybryt.student) get() (pybryt.reference.ReferenceImplementation method) get_complexities() (pybryt.annotations.complexity.complexities.ComplexityUnion method) get_initial_conditions() (pybryt.execution.MemoryFootprint method) get_name_for_report() (pybryt.reference.ReferenceImplementation method)

get_tracked_annotations() (pybryt.annotations.annotation.Annotation static method) get_value() (pybryt.execution.MemoryFootprint method) group (pybryt.annotations.annotation.Annotation attribute) (pybryt.annotations.annotation.AnnotationResult property) (pybryt.annotations.complexity.annotation.TimeComplexity attribute) (pybryt.annotations.import_.RequireImport attribute) (pybryt.reference.ReferenceResult attribute)

I

ImportAnnotation (class in pybryt.annotations.import_) imports (pybryt.execution.MemoryFootprint attribute) increment_counter() (pybryt.execution.MemoryFootprint method) initial_conditions (pybryt.execution.MemoryFootprint attribute)

InitialCondition (class in pybryt.annotations.initial_condition) invariant (class in pybryt.annotations.invariants) invariants (pybryt.annotations.value.ReturnValue attribute) (pybryt.annotations.value.Value attribute)

L

limit (pybryt.annotations.annotation.Annotation attribute) (pybryt.annotations.complexity.annotation.TimeComplexity attribute) (pybryt.annotations.import_.RequireImport attribute)

list_permutation (class in pybryt.annotations.invariants)

M

matrix_transpose (class in pybryt.annotations.invariants) MemoryFootprint (class in pybryt.execution) messages (pybryt.annotations.annotation.AnnotationResult property) (pybryt.reference.ReferenceResult property) module pybryt.annotations.collection pybryt.annotations.complexity.annotation pybryt.annotations.complexity.complexities pybryt.annotations.import_ pybryt.annotations.initial_condition pybryt.annotations.invariants pybryt.annotations.relation pybryt.annotations.type_ pybryt.annotations.value pybryt.complexity pybryt.debug pybryt.execution pybryt.student

module (pybryt.annotations.import_.ForbidImport attribute) (pybryt.annotations.import_.ImportAnnotation attribute) (pybryt.annotations.import_.RequireImport attribute)

N

n (pybryt.execution.check_time_complexity attribute) (pybryt.execution.TimeComplexityResult attribute) name (pybryt.annotations.annotation.Annotation attribute) (pybryt.annotations.annotation.AnnotationResult property) (pybryt.annotations.complexity.annotation.TimeComplexity attribute) (pybryt.annotations.import_.RequireImport attribute) (pybryt.annotations.initial_condition.InitialCondition attribute) (pybryt.complexity.TimeComplexityChecker attribute) (pybryt.execution.check_time_complexity attribute) (pybryt.execution.TimeComplexityResult attribute) (pybryt.reference.ReferenceImplementation attribute) (pybryt.reference.ReferenceResult property)

nb (pybryt.student.StudentImplementation attribute) nb_path (pybryt.student.StudentImplementation attribute) no_tracing (class in pybryt.execution) NotAnnotation (class in pybryt.annotations.relation) num_steps (pybryt.execution.MemoryFootprint property)

O

offset_counter() (pybryt.execution.MemoryFootprint method)

OrAnnotation (class in pybryt.annotations.relation)

P

pybryt command line option --version pybryt-check command line option --dest --output --type -d -t REF STU pybryt-compile command line option --dest --name -d -n SRC pybryt-execute command line option --dest --parallel --timeout -d -p SUBM pybryt.annotations.collection module

pybryt.annotations.complexity.annotation module pybryt.annotations.complexity.complexities module pybryt.annotations.import_ module pybryt.annotations.initial_condition module pybryt.annotations.invariants module pybryt.annotations.relation module pybryt.annotations.type_ module pybryt.annotations.value module pybryt.complexity module pybryt.debug module pybryt.execution module pybryt.student module

R

REF pybryt-check command line option reference (pybryt.reference.ReferenceResult attribute) ReferenceImplementation (class in pybryt.reference) ReferenceResult (class in pybryt.reference) RelationalAnnotation (class in pybryt.annotations.relation) remove() (pybryt.annotations.collection.Collection method) RequireImport (class in pybryt.annotations.import_) reset_tracked_annotations() (pybryt.annotations.annotation.Annotation static method) residual (pybryt.annotations.complexity.complexities.ComplexityClassResult attribute)

results (pybryt.complexity.TimeComplexityChecker attribute) (pybryt.reference.ReferenceResult attribute) ReturnValue (class in pybryt.annotations.value) rtol (pybryt.annotations.value.ReturnValue attribute) (pybryt.annotations.value.Value attribute) run() (pybryt.annotations.invariants.invariant static method) (pybryt.annotations.invariants.list_permutation static method) (pybryt.annotations.invariants.matrix_transpose static method) (pybryt.annotations.invariants.string_capitalization static method) (pybryt.reference.ReferenceImplementation method)

S

satisfied (pybryt.annotations.annotation.AnnotationResult property) satisfied_at (pybryt.annotations.annotation.AnnotationResult property) set_executed_notebook() (pybryt.execution.MemoryFootprint method) set_initial_conditions() (in module pybryt.execution) (pybryt.execution.MemoryFootprint method) SRC pybryt-compile command line option start (pybryt.execution.TimeComplexityResult attribute) start_steps (pybryt.execution.check_time_complexity attribute) stop (pybryt.execution.TimeComplexityResult attribute) string_capitalization (class in pybryt.annotations.invariants)

structural (in module pybryt.annotations.structural) STU pybryt-check command line option StudentImplementation (class in pybryt.student) SUBM pybryt-execute command line option success_message (pybryt.annotations.annotation.Annotation attribute) (pybryt.annotations.complexity.annotation.TimeComplexity attribute) (pybryt.annotations.import_.RequireImport attribute) supply_footprint() (pybryt.annotations.initial_condition.InitialCondition method) supply_value() (pybryt.annotations.initial_condition.InitialCondition method) supply_values() (pybryt.annotations.initial_condition.InitialCondition method)

T

TimeComplexity (class in pybryt.annotations.complexity.annotation) TimeComplexityChecker (class in pybryt.complexity) TimeComplexityResult (class in pybryt.execution) timestamp (pybryt.annotations.annotation.AnnotationResult attribute) to_array() (pybryt.reference.ReferenceResult method) to_dict() (pybryt.annotations.annotation.Annotation method) (pybryt.annotations.annotation.AnnotationResult method) (pybryt.annotations.collection.Collection method) (pybryt.annotations.import_.ImportAnnotation method) (pybryt.annotations.type_.ForbidType method) (pybryt.annotations.value.Attribute method) (pybryt.annotations.value.Value method) (pybryt.reference.ReferenceResult method)

transform_n() (pybryt.annotations.complexity.complexities.complexity static method) transform_t() (pybryt.annotations.complexity.complexities.complexity static method) transforms (pybryt.annotations.initial_condition.InitialCondition attribute) type_ (pybryt.annotations.type_.ForbidType attribute)

V

Value (class in pybryt.annotations.value) value (pybryt.annotations.annotation.AnnotationResult property) (pybryt.annotations.value.ReturnValue attribute) (pybryt.annotations.value.Value attribute)

values (pybryt.execution.MemoryFootprint attribute)

X

XorAnnotation (class in pybryt.annotations.relation)