searchindex.js

Search.setIndex({envversion:42,terms:{represent:3,all:[0,3],code:3,partial:0,edg:3,test_valid_linear_join_path:0,"_gener":0,test_compatible_roles_via_subtyp:0,four:0,prefix:[0,3],add_join:3,dirnam:[0,3],edu:3,follow:[0,3],fact_typ:3,evalu:3,concaten:0,whose:[0,3],xml:[0,3],graph:[0,3],specif:[0,3],eucstrengtheningtransform:[0,3],program:3,valueconstraint:3,under:[0,3],sens:3,testsubtypegraph:[1,2],sourc:[0,3],rollback:[0,3],string:3,test_ternary_subset:0,fals:3,iuc:[0,3],util:[0,3],print:[0,3],test_join_fact_rollback_not_impl:0,candid:[0,3],submodul:1,nested_fact_typ:3,veri:0,retriev:[0,3],implicitli:3,relev:3,test_commit_and_rollback_affect_on_role_uniqu:0,list:[0,3],test_ubound_on_object_typ:0,iter:3,max_freq:3,"try":[0,3],item:[0,3],unsupport:[0,3],form:3,maxsiz:3,test_commit_and_rollback_valu:0,small:0,test_create_custom_vari:0,refer:[0,3],rootroletransform:[0,3],joinfacttyp:3,upper:[0,3],impli:[0,3],test_non_overlap:0,unsatisfi:[0,3],direct:[0,3],test_unsat_absorpt:0,timedomain:[0,3],second:3,test_unsat_smarag_2:0,test_unsat_smarag_3:0,pass:0,fullnam:3,testconstraint:[1,2],subclass:3,compat:[0,3],index:1,what:3,xor:0,cast:[0,3],"_load_fact_typ":0,sum:[0,3],unsupportedsubsetremov:[0,3],current:3,test_uniqueness_constraint:0,test_string_domain_no_prefix:0,experiment:3,capture_stdout:0,"new":[0,3],method:[0,3],make:[0,3],test_simple_linear_path:0,full:3,deriv:[0,3],gener:[0,3],test_sat_with_absorpt:0,coeffici:[0,3],here:3,ormroot:[0,3],satisfi:[0,3],studio:3,argv:3,test_root_on_subtype_and_supertyp:0,path:[0,3],along:[0,3],modifi:[0,3],implicit:[0,3],valu:[0,3],test_remove_el:0,search:1,test_ignored_overlapping_iuc:0,cardinalityconstraint:3,shift:0,larger:3,test_join_rule_with_subqueri:0,datetim:3,orm:[0,3],test_bad_value_constraint:0,undirect:0,permit:3,action:0,chang:[0,3],test_role_nam:0,commonli:3,cobbl:0,semant:3,via:3,data_typ:3,primit:3,modul:1,test_add_remove_generic_constraint:0,prefer:3,inequ:[0,3],filenam:3,"boolean":[0,3],"1st":0,test_unsat_subset:0,test_full_domain:0,unit:0,from:[0,3],declare_less_than:3,"float":3,incorrect:3,subpath:0,two:[0,3],coverag:0,modelelementset:[0,3],test_card_and_value_constraint_on_implicit_typ:0,call:[0,3],criteria:3,test_load_fact_typ:0,scope:3,non_ref_rol:3,type:[0,3],is_invalid:3,reorder:[0,3],more:[0,3],normaload:1,diamond:0,testmodelelementset:0,test_of_type_with_hit:0,valuetyp:3,relat:[0,3],test_product:0,testoverlappingifctransform:0,visual:3,test_unsat_equ:0,particular:3,test_load_basic_subtyp:0,must:[0,3],min_freq:3,none:[0,3],join:[0,3],left:[0,3],testinequalitysystem:[1,2],test_disjunctive_mandatori:0,datedomain:[0,3],work:0,test_simple_cycle_detection_2:0,test_simple_cycle_detection_3:0,cat:3,test_of_type_without_hit:0,conceptu:3,remain:3,tag:3,can:[0,3],test_role_path_unexpected_child:0,meet:3,root:[0,3],supertypes_of:3,test_deontic_cardin:0,appropri:0,overrid:3,objectif:0,test_vc_too_larg:0,test_how_population_order_affects_subset:0,mandatoryconstraint:[0,3],import_model:3,now:0,facttyp:1,minimum:3,testobjecttyp:[1,2],test_join_rule_covering_implicit_rol:0,var_list:3,unsign:3,occur:0,rolepath:0,alwai:3,get_actu:0,algorithm:3,multipl:[0,3],variou:[0,3],test_disjunctive_ref_no_ior:0,rather:0,anoth:0,test_renam:0,test_invalid_value_constraint:0,cardin:[0,3],write:[0,3],how:3,test_pathed_role_with_negated_join:0,reject:0,answer:3,test_default_inequ:0,test_euc_on_branching_path:0,simpl:[0,3],test_write_csv_without_dir_cr:0,updat:3,map:3,test_subtype_with_only_root_constraint:0,express:3,recogn:0,overridden:3,test_contents_of_modification_list:0,max:3,test_removed_constraint:0,after:[0,3],get_data_dir:[0,3],diagram:3,befor:0,test_forced_implicit:0,retain:3,date:[0,3],test_subtypefact_constraint:0,data:[0,3],test_commit_and_rollback:0,test_import_fail:0,test_bad_filename_extens:0,attempt:0,read:3,test_cardinality_constraint:0,explicit:[0,3],correspond:3,element:[0,3],inform:3,objectifiedtyp:3,combin:[0,3],mcgill:3,subtyp:[0,3],cardinalityrang:3,test_subtype_with_one_subtype_value_constraint:0,first:[0,3],order:[0,3],oper:[0,3],belong:3,over:3,stackoverflow:3,midnight:3,becaus:[0,3],test_populate_rol:0,testtransform:[1,2],increas:3,paper:0,same:[0,3],affect:[0,3],of_typ:[0,3],tuplesubsettransform:[0,3],paramet:[0,3],test_subset_multiple_root:0,read_stdout:0,joinpathexcept:3,thelist:3,aleth:3,euc:[0,3],resort:3,fig:0,popuat:3,test_get_data_dir:0,main:3,non:[0,3],test_write_stdout:0,"return":[0,3],greater:3,thei:[0,3],python:3,facttypeset:3,largest:3,test_solve_1:0,test_enumer:0,absorptionfacttyp:3,restore_stdout:0,compound:[0,3],test_ignored_subset:0,discuss:3,datetimedomain:[0,3],test_freq_on_unari:0,xml_node:3,csv:[0,3],name:[0,3],testvalueconstrainttransformation_rvc:0,subtype_graph:3,revers:3,iff:3,inequalitysystem:1,each:[0,3],debug:3,januari:3,nullari:0,side:3,mean:3,subset:[0,3],domain:1,test_datetime_domain:0,test_subset_single_root:0,test_log_config:0,test_simple_sat_system3:0,replac:3,test_ifc_transform:0,monoton:3,product:[0,3],runtest:0,ensur:3,popul:1,"static":3,testdataloc:1,test_pop_with_join_equ:0,test_display_nonempti:0,subset_tripl:3,our:0,test_fact_type_part:0,special:3,out:0,variabl:[0,3],unbound:[0,3],"3rd":0,derivationsourc:0,testormminusmodel:[1,2],test_unsat_system_from_paper3:0,test_unsat_system_from_paper2:0,content:1,testnormaload:[1,2],base_model:3,valuedomain:3,test_add_inequalities_with_dupe_var:0,overlappingifctransform:[0,3],test_lcm:0,root_play:3,ref:[0,3],correct:[0,3],subsetconstraint:3,linear:0,test_forced_stop_iter:0,test_deletion_of_extra_value_constraint:0,differ:[0,3],omiss:[0,3],effect:3,testmodel:[1,2],base:[0,3],test_unsat_overlapping_iuc:0,dictionari:[0,3],test_add_object_typ:0,uniqu:[0,3],parse_arg:3,reflect:3,test_get_el:0,badli:0,argument:[0,3],frequenc:[0,3],omit:[0,3],wrong:0,thing:3,length:3,person:3,place:3,outsid:3,setup:0,test_unsat_system_from_pap:0,support:[0,3],test_cycle_detection_no_cycl:0,origin:3,rang:[0,3],covered_bi:3,suffix:3,directli:3,onc:0,independ:[0,3],number:3,test_display_empti:0,restrict:3,mai:3,unlik:0,alreadi:[0,3],stabl:3,test_played_rol:0,size:3,given:3,role1:3,role2:3,test_commit_rollback_ior:0,test_implicit_disjunctive_ineq:0,system:[0,3],least:[0,3],test_intersection_of_value_constraint:0,player:[0,3],uniquenessconstraint:3,testeucstrengtheningtransform:0,necessarili:3,frequencyconstraint:3,monkei:3,time:[0,3],test_const:0,test_time_domain:0,test_first:0,store:[0,3],too:0,test_value_cons_already_on_typ:0,ariti:[0,3],namespac:3,norma:[0,3],specifi:3,part:[0,3],pars:[0,3],test_valid_join:0,off:0,enumerateddomain:[0,3],test_unsat_join_equ:0,than:[0,3],scheme:[0,3],target:3,whenev:3,provid:[0,3],remov:[0,3],requir:[0,3],constraintset:3,structur:3,exampl:3,project:0,were:3,mandatori:[0,3],minut:3,schema:3,test_modification_lists_for_value_mov:0,normal:0,comput:3,test_populate_sat:0,subject_to_idmc:3,strengthen:[0,3],test_unsat_smarag_1:0,ani:[0,3],test_add_rol:0,cons_typ:3,test_pop_with_subset:0,raw:3,test_enumerated_differ:0,is_stabl:3,increment:3,need:3,testfacttyp:[1,2],test_absorption_population_non_trivi:0,test_vc_add_enum:0,node_collect:3,whereev:3,test_combine_with_multiple_shift:0,lib:1,min:3,self:[0,3],test_pop_with_equality2:0,note:[0,3],also:[0,3],test_execute_check:0,test_domain:0,which:[0,3],tupl:[0,3],test_mandatory_is_simpl:0,test_compound_ref_schem:0,subject:3,idpath:3,tool:3,testjoinmateri:0,simplifi:3,my_int:3,test_commit_rollback_mandatori:0,noop:3,test_add_invalid_el:0,test_partial_subset:0,statu:3,deontic:[0,3],crash:0,most:3,plai:[0,3],larg:0,pair:3,"class":[0,3],test_empty_domain:0,test_skipped_due_to_no_join_path:0,renam:[0,3],absorptiontransform:[0,3],test_int_domain:0,line:3,request:[0,3],model_el:3,is_root_rol:3,intention:3,test_not_implemented_except:0,supertyp:[0,3],add:[0,3],test_failed_move_due_to_independ:0,test_derivation_sourc:0,fact:[0,3],max_valu:3,per:[0,3],test_idmc_with_disjunctive_ref_new_approach:0,write_stdout:3,testrel:0,test_add_el:0,environ:3,fine:3,find:3,min_open:3,involv:0,onli:[0,3],explicitli:3,locat:[0,3],test_compatible_object_typ:0,delet:0,configur:[0,3],solut:[0,3],should:[0,3],y_n:3,test_check_unsat:0,get_mtim:0,test_simple_unsat_system2:0,constant:[0,3],analys:3,test_date_domain_default:0,move:[0,3],intersect:[0,3],test_check_sat:0,get:[0,3],test_bad_role_sequence_nod:0,testdomain:[1,2],test_write_to_file_not_directori:0,test_commit_rollback_iuc:0,"import":[0,3],report:[0,3],objecttypeset:3,test_adding_invalid_el:0,test_pathed_role_with_outer_join:0,"_op":3,test_add_remove_fact_typ:0,fact_type_nam:3,irrevers:3,cyclic:0,y_2:3,yield:3,"public":3,bad:0,common:[0,3],contain:[0,3],where:[0,3],test_datetime_domain_default:0,test_date_domain:0,conform:3,test_cardinality_inequ:0,set:[0,3],commandlin:1,test_duplicate_role_nam:0,test_add_subset_rol:0,test_unknown_data_typ:0,invari:3,accord:3,maximum:3,methodnam:0,see:3,test_ignored_constraint:0,result:[0,3],arg:3,fail:0,model_chang:3,arglist:3,test_sat_subset:0,test_simple_unsat_system:0,disjunct:[0,3],detect:0,kei:3,correctli:0,pattern:0,someth:0,test_vc_int_ranges_open:0,enumer:[0,3],state:3,won:0,test_populate_except:0,drawn:3,test_failed_move_due_to_shared_ref_mod:0,entiti:[0,3],approach:0,test_write_csv_with_dir_cr:0,attribut:3,verifi:0,assumpt:0,test_incompatible_rol:0,extend:3,test_combine_with_0_tupl:0,extens:[0,3],entir:3,combine_with:[0,3],test_pathed_roles_with_bad_child_nod:0,solv:3,outer:0,come:0,addit:[0,3],both:[0,3],testabsorptiontransform:0,plugin:3,howev:3,test_check_unsat_strengthen:0,test_execute_noop:0,equal:[0,3],facet:3,etc:3,instanc:3,present:[0,3],ubound:3,modif:0,corrupt:0,testmodelel:[1,2],com:3,test_data_type_load:0,root_of:3,load:[0,3],orm2:0,point:3,instanti:3,unittest:0,test_implicit_rol:0,testjoinpath:[1,2],pop:0,"2nd":0,"_add":0,featur:3,test_diamond_subtype_graph:0,test_disconnect:0,remove_join:3,respect:3,assum:3,valueconstrainttransform:[0,3],testcommandlin:[1,2],test_add_remove_object_typ:0,save:0,unsuccess:0,local_tag:3,test_arg_pars:0,test_population_with_no_fact_typ:0,test_time_overflow:0,due:0,been:3,write_csv:[0,3],test_constraints_omit:0,much:3,treat:3,ormcor:3,test_join_rule_with_unsupported_split:0,test_execute_not_impl:0,testpopul:[1,2],test_deontic_constraint:0,valueerror:3,joinpath:1,test_simple_cycle_detect:0,test_add_remove_constraint_with_side_effect:0,testtestdataloc:[1,2],test_subtype_except:0,test_populate_object_typ:0,fire:0,convert:3,max_open:3,floatdomain:[0,3],stringdomain:[0,3],referer:3,togeth:0,child:0,"catch":0,repres:3,add_rang:3,those:[0,3],"case":[0,3],ident:3,packag:1,tostr:3,properti:0,test_basic_entity_type_mov:0,defin:3,"while":0,direct_subset:[0,3],cannot:[0,3],error:3,exist:[0,3],test_import_model:0,subsect:3,test_bool_domain_parti:0,have:3,stdout:[0,3],y_1:3,them:0,test_euc_strengthen_pop:0,test_deprecated_join:0,person2:3,person3:3,kwarg:3,abov:3,recal:3,notimplementederror:0,sever:0,parent:3,joinrul:0,incompat:0,test_simple_absorpt:0,author:0,perform:3,direct_subtyp:3,referenti:0,pathedrol:0,test_enumerated_concat:0,test_string_domain_prefix:0,binari:0,complex:0,split:0,test_datetime_domain_overflow:0,test_join_rule_with_no_role_path:0,test_join_subset_covering_ref_rol:0,failur:0,test_mandatory_middle_rol:0,testunsupportedsubsetremov:0,complet:[0,3],test_cycle_2:0,exhaust:3,rolesequ:[0,3],test_cycle_1:0,http:3,nest:0,pick:0,upon:3,ior:0,hand:3,rais:[0,3],skip:0,extern:[0,3],root_rol:3,test_populate_subtyp:0,lower:3,modelel:1,kept:0,entitytyp:3,scenario:0,entri:3,thu:3,well:3,inherit:3,test_vc_int_rang:0,test_simple_sat_system:0,without:[0,3],test_unsat_model:0,thi:[0,3],test_create_default_vari:0,model:1,con:3,test_ignored_value_constraint:0,latter:3,booldomain:[0,3],unchang:0,unari:0,test_invalid:0,test_vc_bad_enum:0,test_vc_bad_rang:0,identifi:[0,3],test_unsat_euc_strengthen:0,just:[0,3],less:0,when:[0,3],test_failed_move_due_to_entity_with_mult_rol:0,testrootroletransform:0,shape:[0,3],invalid:[0,3],test_execute_print:0,uid:3,test_pop_with_subset_2:0,superset:[0,3],test_intersection_and_reordering_of_value_constraint:0,singl:0,test_subtyp:0,except:[0,3],identif:3,test_four_part_absorpt:0,test_value_constraint_on_typ:0,other:[0,3],depric:0,exercis:0,input:[0,3],logger:[0,3],subsequ:0,testvalueconstrainttransformation_subtyp:0,match:[0,3],test_disjunctive_ref_with_ior:0,applic:0,test_populate_role_sequences_and_fact_typ:0,branch:0,format:3,handl:[0,3],default_s:3,check_or_popul:3,subqueri:0,fact_type_part:0,test_empty_model:0,know:0,ormmodel:[0,3],loader:[0,3],associ:3,like:3,ignor:[0,3],direct_supertyp:3,success:0,deprec:0,get_part:3,testdisjunctivereftransform:0,arbitrari:3,manual:3,integ:[0,3],noth:3,"_sym":3,test_successful_cast:0,test_inequ:0,unsupported_nod:3,either:3,test_direct_subsets_funct:0,test_create_inequalities_1:0,page:1,test_commit_and_rollback_subtyp:0,underli:3,exceed:0,right:3,old:0,test_overlapping_and_external_iuc:0,identifier_for:3,negat:0,stopiter:0,creation:[0,3],some:3,back:0,test_combine_with_nullari:0,test_binary_equ:0,intern:[0,3],join_path:3,sampl:3,test_subpath_with_bad_child_nod:0,successfulli:0,test_overlap_but_cannot_transform:0,librari:3,test_product_empti:0,txt:0,collect:3,testtuplesubsettransform:0,ormminusmodel:1,test_vc_invalid_rang:0,overlap:[0,3],leav:0,test_not_implemented_cast:0,necessari:3,get_basic_attrib:3,test_subtype_inequ:0,donna:3,disjunctivereftransform:[0,3],object:[0,3],compris:3,joinmateri:[0,3],ifc:[0,3],is_root:3,test_objectification_inequ:0,test_implicit_disjunctive_on_ent:0,test_change_candid:0,between:0,earlier:3,describ:3,test_absorption_popul:0,test_mandatori:0,actual:0,test_commit:0,column:3,materi:[0,3],test_add_wrong_arity_to_rel:0,add_rol:3,inner:3,unsat:0,test_cycle_detection_1:0,modal:[0,3],constructor:3,commit:[0,3],constraint:1,produc:3,test_valid_complex_branching_join_path:0,test_unsuccessful_cast:0,max_siz:3,test_enumerated_intersect:0,test_sum_empti:0,within:[0,3],bound:[0,3],automat:3,three:3,empti:[0,3],strip:3,equival:3,test_join_rule_with_no_join_path:0,bool:3,test_create_vari:0,test_time_domain_default:0,test_frequency_constraint:0,first10:3,inclus:[0,3],test_valid_branching_join_path:0,wai:3,test_unsat_subtype_with_value_constraint:0,execut:[0,3],question:3,transform:1,custom:0,avail:0,start:[0,3],adjac:[0,3],includ:[0,3],test_simple_sat_system2:0,"var":0,subtypegraph:1,test_no_model_el:0,object_typ:3,test_date_overflow:0,test_move_of_rvc_to_non_ref_value_typ:0,"function":[0,3],properli:0,test_rollback:0,unexpect:[0,3],forc:0,test_pattern_not_match:0,basic:0,test_float_domain:0,test_join_subset_covering_both_join_rol:0,don:0,overflow:0,role:[0,3],"true":3,longer:0,count:[0,3],test_load_object_typ:0,tripl:3,test_subset_constraint:0,consist:3,possibl:3,"default":[0,3],coeff:3,caller:3,test_pop_with_equ:0,displai:[0,3],"abstract":3,test_role_rollback:0,directori:[0,3],below:3,limit:3,test_subtype_graph_mult_root:0,smaragdaki:[0,3],identifying_constraint:3,test_ternary_equ:0,min_valu:3,expect:0,testutil:0,test_stabl:0,configure_logg:3,test_bad_root_el:0,creat:[0,3],cover:[0,3],dure:0,valueconstrainterror:3,command:3,doesn:0,dog:3,test_unsat_role_and_value_type_value_constraint:0,implement:[0,3],file:[0,3],cultur:3,inf:3,doe:[0,3],check:[0,3],testpopulationwrit:0,test_skipped_due_to_join_path_out_of_ord:0,test_bool_domain_ful:0,test_add_to_rel:0,neumont:3,test_simple_materi:0,test_unexpected_constraint_nod:0,integerdomain:[0,3],disjoint:3,valid:[0,3],test_bad_cardinality_constraint_1:0,test_idmc_with_disjunctive_ref_old_approach:0,test_bad_cardinality_constraint_3:0,test_bad_cardinality_constraint_2:0,test:[1,2,3],objecttyp:1,test_populate_sat_write_to_bad_dir:0,rvc:0,roll:0,node:[0,3],test_load_equality_constraint:0,draw:[0,3],equalityconstraint:3,objectifi:3,test_deletion_of_value_cons_when_root_has_no_vc:0,sequenc:[0,3],test_add_inequ:0,test_sum:0,binar:0,polynomi:3,ref_rol:3,scale:3,testcas:0,absorpt:[0,3],subtypeconstraint:3,test_pathed_role_with_value_restriction_child_nod:0,test_join_subset_omiss:0,lcm:3,test_get_missing_el:0,test_unsat_subtype_due_to_card_constraint:0,ternari:0,test_execute_print_and_check:0,test_combine_with:0,cycl:[0,3],confirm:0,rule:[0,3],test_unbounded_freq_constraint:0,test_preservation_of_ref_rol:0,text:3,obj:3,potenti:3,test_constraint_covers_both_implied_and_explicit_rol:0,test_commit_rollback_euc:0},objtypes:{"0":"py:module","1":"py:method","2":"py:class","3":"py:attribute","4":"py:staticmethod","5":"py:function","6":"py:exception"},objnames:{"0":["py","module","Python module"],"1":["py","method","Python method"],"2":["py","class","Python class"],"3":["py","attribute","Python attribute"],"4":["py","staticmethod","Python static method"],"5":["py","function","Python function"],"6":["py","exception","Python exception"]},filenames:["test","index","modules","lib"],titles:["test package","Welcome to ORMPY’s documentation!",".","lib package"],objects:{"":{test:[0,0,0,"-"],lib:[3,0,0,"-"]},"test.TestModelElement.TestModelElementSet":{test_get_element:[0,1,1,""],test_remove_element:[0,1,1,""],test_display_nonempty:[0,1,1,""],setUp:[0,1,1,""],test_rename:[0,1,1,""],test_commit:[0,1,1,""],test_rollback:[0,1,1,""],test_get_missing_elements:[0,1,1,""],test_add_element:[0,1,1,""],test_display_empty:[0,1,1,""]},"test.TestDomain":{TestDomain:[0,2,1,""]},"lib.Constraint.ValueDomain":{add_range:[3,1,1,""],MAX_SIZE:[3,3,1,""]},"lib.SubtypeGraph.SubtypeGraph":{compatible:[3,1,1,""],supertypes_of:[3,3,1,""],roots:[3,3,1,""],root_of:[3,3,1,""]},"lib.Model.Model":{fact_types:[3,3,1,""],remove:[3,1,1,""],add:[3,1,1,""],constraints:[3,3,1,""],display:[3,1,1,""],object_types:[3,3,1,""]},"test.TestCommandLine":{TestCommandLine:[0,2,1,""],read_stdout:[0,5,1,""],restore_stdout:[0,5,1,""],capture_stdout:[0,5,1,""]},"lib.ModelElement":{ModelElementSet:[3,2,1,""],ModelElement:[3,2,1,""]},"lib.Constraint.ValueConstraint":{commit:[3,1,1,""],domain:[3,3,1,""],rollback:[3,1,1,""],size:[3,3,1,""]},"lib.ModelElement.ModelElement":{commit:[3,1,1,""],rollback:[3,1,1,""],name:[3,3,1,""],uid:[3,3,1,""]},"lib.Transformation.TupleSubsetTransformation":{execute:[3,1,1,""]},"lib.Transformation.JoinFactType":{commit:[3,1,1,""],rollback:[3,1,1,""]},"test.TestModel.TestModel":{test_display_nonempty:[0,1,1,""],setUp:[0,1,1,""],test_add_remove_object_type:[0,1,1,""],test_add_remove_fact_type:[0,1,1,""],test_add_remove_generic_constraint:[0,1,1,""],test_add_remove_constraint_with_side_effects:[0,1,1,""],test_add_invalid_element:[0,1,1,""],test_display_empty:[0,1,1,""]},"lib.Constraint.SubtypeConstraint":{supertype:[3,3,1,""],idpath:[3,3,1,""],commit:[3,1,1,""],rollback:[3,1,1,""],subtype:[3,3,1,""]},"lib.Transformation.EUCStrengtheningTransformation":{execute:[3,1,1,""]},"test.TestTransformation.TestTupleSubsetTransformation":{test_ternary_equality:[0,1,1,""],setUp:[0,1,1,""],test_ternary_subset:[0,1,1,""],test_binary_equality:[0,1,1,""]},"test.TestPopulation.TestRelation":{test_add_to_relation:[0,1,1,""],test_combine_with:[0,1,1,""],setUp:[0,1,1,""],test_combine_with_multiple_shifts:[0,1,1,""],test_combine_with_nullary:[0,1,1,""],test_first:[0,1,1,""],test_combine_with_0_tuple:[0,1,1,""],test_add_wrong_arity_to_relation:[0,1,1,""]},"lib.Domain.StringDomain":{cast:[3,4,1,""]},"lib.Domain":{Domain:[3,2,1,""],DateTimeDomain:[3,2,1,""],IntegerDomain:[3,2,1,""],DateDomain:[3,2,1,""],TimeDomain:[3,2,1,""],FloatDomain:[3,2,1,""],EnumeratedDomain:[3,2,1,""],StringDomain:[3,2,1,""],BoolDomain:[3,2,1,""]},"lib.Constraint.ConstraintSet":{of_type:[3,1,1,""]},"test.TestTransformation.TestRootRoleTransformation":{test_subset_multiple_roots:[0,1,1,""],test_root_on_subtype_and_supertype:[0,1,1,""],test_subset_single_root:[0,1,1,""],setUp:[0,1,1,""]},"lib.Constraint":{CardinalityRange:[3,2,1,""],EqualityConstraint:[3,2,1,""],Constraint:[3,2,1,""],CardinalityConstraint:[3,2,1,""],SubsetConstraint:[3,2,1,""],ValueConstraintError:[3,6,1,""],UniquenessConstraint:[3,2,1,""],ConstraintSet:[3,2,1,""],ValueDomain:[3,2,1,""],ValueConstraint:[3,2,1,""],MandatoryConstraint:[3,2,1,""],FrequencyConstraint:[3,2,1,""],SubtypeConstraint:[3,2,1,""]},"test.TestJoinPath.TestJoinPath":{test_compatible_roles_via_subtype:[0,1,1,""],test_cycle_2:[0,1,1,""],test_cycle_1:[0,1,1,""],setUp:[0,1,1,""],test_incompatible_roles:[0,1,1,""],test_disconnected:[0,1,1,""],test_valid_join:[0,1,1,""]},"lib.ObjectType.ObjectifiedType":{nested_fact_type:[3,3,1,""]},"test.TestSubtypeGraph.TestSubtypeGraph":{test_diamond_subtype_graphs:[0,1,1,""],setUp:[0,1,1,""],test_load_basic_subtypes:[0,1,1,""],test_subtype_graph_mult_root:[0,1,1,""],test_compatible_object_types:[0,1,1,""]},"lib.FactType.FactType":{rollback:[3,1,1,""],roles:[3,3,1,""],add_role:[3,1,1,""],arity:[3,1,1,""],commit:[3,1,1,""],fullname:[3,3,1,""]},"test.TestDomain.TestDomain":{test_unsuccessful_cast:[0,1,1,""],test_datetime_domain:[0,1,1,""],test_time_domain_default:[0,1,1,""],test_enumerated_intersect:[0,1,1,""],test_full_domain:[0,1,1,""],test_not_implemented_exception:[0,1,1,""],test_enumerated_difference:[0,1,1,""],test_enumerated_concat:[0,1,1,""],test_string_domain_prefix:[0,1,1,""],test_forced_stop_iteration:[0,1,1,""],test_string_domain_no_prefix:[0,1,1,""],test_not_implemented_cast:[0,1,1,""],test_time_domain:[0,1,1,""],test_date_overflow:[0,1,1,""],test_date_domain_default:[0,1,1,""],test_datetime_domain_overflow:[0,1,1,""],setUp:[0,1,1,""],test_time_overflow:[0,1,1,""],test_bool_domain_partial:[0,1,1,""],test_enumerated:[0,1,1,""],test_empty_domain:[0,1,1,""],test_float_domain:[0,1,1,""],test_int_domain:[0,1,1,""],test_bool_domain_full:[0,1,1,""],test_successful_cast:[0,1,1,""],test_datetime_domain_default:[0,1,1,""],test_date_domain:[0,1,1,""]},"test.TestTransformation.TestOverlappingIFCTransformation":{test_ifc_transforms:[0,1,1,""],test_overlap_but_cannot_transform:[0,1,1,""],test_non_overlapping:[0,1,1,""],test_preservation_of_ref_roles:[0,1,1,""],setUp:[0,1,1,""]},"lib.Transformation.AbsorptionFactType":{root_role:[3,3,1,""],fact_type_names:[3,3,1,""]},"lib.Domain.EnumeratedDomain":{add:[3,1,1,""],difference:[3,1,1,""],max_size:[3,3,1,""],intersect:[3,1,1,""],size:[3,3,1,""]},"test.TestModel":{TestModel:[0,2,1,""]},"lib.Constraint.CardinalityConstraint":{ranges:[3,3,1,""]},"test.TestPopulation.TestUtility":{test_lcm:[0,1,1,""],setUp:[0,1,1,""]},"test.TestSubtypeGraph":{TestSubtypeGraph:[0,2,1,""]},"lib.JoinPath.JoinPath":{materialize:[3,1,1,""],fact_types:[3,3,1,""],add_join:[3,1,1,""],joins:[3,3,1,""]},"lib.FactType.RoleSequence":{join_path:[3,3,1,""]},"lib.Constraint.Constraint":{commit:[3,1,1,""],fullname:[3,3,1,""],alethic:[3,3,1,""],rollback:[3,1,1,""],covers:[3,3,1,""]},"test.TestInequalitySystem":{TestInequalitySystem:[0,2,1,""]},"test.TestTransformation.TestUnsupportedSubsetRemoval":{test_simple_cycle_detection:[0,1,1,""],setUp:[0,1,1,""],test_simple_cycle_detection_2:[0,1,1,""],test_simple_cycle_detection_3:[0,1,1,""],test_cycle_detection_no_cycle:[0,1,1,""],test_cycle_detection_1:[0,1,1,""],test_removed_constraints:[0,1,1,""],test_direct_subsets_function:[0,1,1,""]},"test.TestTransformation":{TestEUCStrengtheningTransformation:[0,2,1,""],TestValueConstraintTransformation_RVC:[0,2,1,""],TestDisjunctiveRefTransformation:[0,2,1,""],TestUnsupportedSubsetRemoval:[0,2,1,""],TestTupleSubsetTransformation:[0,2,1,""],TestRootRoleTransformation:[0,2,1,""],TestAbsorptionTransformation:[0,2,1,""],TestJoinMaterialization:[0,2,1,""],TestValueConstraintTransformation_Subtypes:[0,2,1,""],TestOverlappingIFCTransformation:[0,2,1,""],TestTransformation:[0,2,1,""]},"lib.NormaLoader.NormaLoader":{omissions:[3,3,1,""],model:[3,3,1,""],unexpected:[3,3,1,""]},"lib.Transformation.UnsupportedSubsetRemoval":{execute:[3,1,1,""]},"lib.FactType":{FactTypeSet:[3,2,1,""],FactType:[3,2,1,""],RoleSequence:[3,2,1,""],Role:[3,2,1,""]},"test.TestPopulation.TestPopulation":{test_populate_object_types:[0,1,1,""],test_ignored_overlapping_iuc:[0,1,1,""],test_population_with_no_fact_types:[0,1,1,""],test_populate_roles:[0,1,1,""],test_absorption_population_non_trivial:[0,1,1,""],test_how_population_order_affects_subset:[0,1,1,""],test_mandatory_middle_role:[0,1,1,""],test_euc_strengthen_pop:[0,1,1,""],test_pop_with_equality2:[0,1,1,""],test_pop_with_subset:[0,1,1,""],test_absorption_population:[0,1,1,""],test_populate_role_sequences_and_fact_types:[0,1,1,""],test_unsat_model:[0,1,1,""],setUp:[0,1,1,""],test_pop_with_equality:[0,1,1,""],test_populate_subtypes:[0,1,1,""],test_pop_with_subset_2:[0,1,1,""],test_pop_with_join_equality:[0,1,1,""],test_fact_type_parts:[0,1,1,""]},"lib.Domain.IntegerDomain":{cast:[3,4,1,""]},"lib.InequalitySystem.Product":{tostring:[3,1,1,""]},"lib.Model":{Model:[3,2,1,""]},"lib.ObjectType.ObjectType":{independent:[3,3,1,""],domain:[3,3,1,""],rollback:[3,1,1,""],roles:[3,3,1,""],data_type:[3,3,1,""],subject_to_idmc:[3,3,1,""],direct_subtypes:[3,3,1,""],primitive:[3,3,1,""],direct_supertypes:[3,3,1,""],ref_roles:[3,3,1,""],covered_by:[3,3,1,""],commit:[3,1,1,""],fullname:[3,3,1,""],non_ref_roles:[3,3,1,""],implicit:[3,3,1,""]},"lib.Transformation.Transformation":{execute:[3,1,1,""],added:[3,3,1,""],model_changed:[3,3,1,""],modified:[3,3,1,""],model:[3,3,1,""],removed:[3,3,1,""]},"lib.NormaLoader":{unsupported_node:[3,5,1,""],local_tag:[3,5,1,""],node_collection:[3,5,1,""],noop:[3,5,1,""],NormaLoader:[3,2,1,""],get_basic_attribs:[3,5,1,""],find:[3,5,1,""]},"lib.SubtypeGraph":{SubtypeGraph:[3,2,1,""]},"test.TestInequalitySystem.TestInequalitySystem":{test_invalid:[0,1,1,""],test_add_inequality:[0,1,1,""],test_simple_sat_system3:[0,1,1,""],test_simple_sat_system2:[0,1,1,""],test_create_default_variable:[0,1,1,""],test_add_inequalities_with_dupe_vars:[0,1,1,""],test_sum_empty:[0,1,1,""],test_simple_unsat_system:[0,1,1,""],test_unsat_system_from_paper3:[0,1,1,""],test_unsat_system_from_paper2:[0,1,1,""],test_product_empty:[0,1,1,""],test_stable:[0,1,1,""],setUp:[0,1,1,""],test_simple_unsat_system2:[0,1,1,""],test_product:[0,1,1,""],test_unsat_system_from_paper:[0,1,1,""],test_sum:[0,1,1,""],test_constant:[0,1,1,""],test_default_inequality:[0,1,1,""],test_change_candidate:[0,1,1,""],test_inequality:[0,1,1,""],test_create_custom_variable:[0,1,1,""],test_simple_sat_system:[0,1,1,""]},"lib.Domain.BoolDomain":{cast:[3,4,1,""]},"test.TestConstraint":{TestConstraint:[0,2,1,""]},"test.TestORMMinusModel.TestORMMinusModel":{test_ignored_constraint:[0,1,1,""],test_ubound_on_object_types:[0,1,1,""],test_overlapping_and_external_iuc:[0,1,1,""],test_idmc_with_disjunctive_ref_new_approach:[0,1,1,""],test_objectification_inequalities:[0,1,1,""],test_sat_with_absorption:[0,1,1,""],test_unsat_smarag_3:[0,1,1,""],test_unsat_smarag_1:[0,1,1,""],test_unsat_subset:[0,1,1,""],test_unsat_euc_strengthening:[0,1,1,""],test_idmc_with_disjunctive_ref_old_approach:[0,1,1,""],test_unsat_subtype_due_to_card_constraint:[0,1,1,""],test_unsat_subtype_with_value_constraint:[0,1,1,""],test_implicit_disjunctive_ineq:[0,1,1,""],test_unsat_absorption:[0,1,1,""],test_sat_subset:[0,1,1,""],test_unsat_role_and_value_type_value_constraint:[0,1,1,""],setUp:[0,1,1,""],test_solve_1:[0,1,1,""],test_create_variables:[0,1,1,""],test_unsat_overlapping_iuc:[0,1,1,""],test_ignored_subset:[0,1,1,""],test_implicit_disjunctive_on_entities:[0,1,1,""],test_unsat_smarag_2:[0,1,1,""],test_unbounded_freq_constraint:[0,1,1,""],test_disjunctive_mandatory:[0,1,1,""],test_cardinality_inequalities:[0,1,1,""],test_unsat_join_equality:[0,1,1,""],test_unsat_equality:[0,1,1,""],test_ignored_value_constraint:[0,1,1,""],test_create_inequalities_1:[0,1,1,""],test_subtype_inequalities:[0,1,1,""],test_fact_type_parts:[0,1,1,""]},"lib.InequalitySystem.Inequality":{evaluate:[3,1,1,""],variables:[3,1,1,""],tostring:[3,1,1,""]},"lib.Domain.FloatDomain":{cast:[3,4,1,""]},"lib.InequalitySystem":{Product:[3,2,1,""],Constant:[3,2,1,""],Sum:[3,2,1,""],Inequality:[3,2,1,""],InequalitySystem:[3,2,1,""],Variable:[3,2,1,""],Expression:[3,2,1,""]},"lib.CommandLine":{execute:[3,5,1,""],configure_logger:[3,5,1,""],check_or_populate:[3,5,1,""],parse_args:[3,5,1,""],import_model:[3,5,1,""]},"lib.Transformation.RootRoleTransformation":{execute:[3,1,1,""]},"lib.Transformation.DisjunctiveRefTransformation":{execute:[3,1,1,""]},"test.TestObjectType":{TestObjectType:[0,2,1,""]},"test.TestTransformation.TestValueConstraintTransformation_Subtypes":{test_subtype_with_only_root_constraint:[0,1,1,""],setUp:[0,1,1,""],test_deletion_of_extra_value_constraints:[0,1,1,""],test_intersection_and_reordering_of_value_constraints:[0,1,1,""],test_deletion_of_value_cons_when_root_has_no_vc:[0,1,1,""],test_subtype_with_one_subtype_value_constraint:[0,1,1,""],test_contents_of_modification_lists:[0,1,1,""]},"lib.Constraint.SubsetConstraint":{subset:[3,3,1,""],superset:[3,3,1,""],covers:[3,3,1,""]},"test.TestTestDataLocator":{TestTestDataLocator:[0,2,1,""]},"lib.ModelElement.ModelElementSet":{count:[3,1,1,""],name:[3,3,1,""],get:[3,1,1,""],remove:[3,1,1,""],add:[3,1,1,""],display:[3,1,1,""]},"lib.Population":{lcm:[3,5,1,""],Relation:[3,2,1,""],is_root_role:[3,5,1,""],Population:[3,2,1,""]},"lib.Transformation.AbsorptionTransformation":{execute:[3,1,1,""]},"test.TestConstraint.TestConstraint":{test_of_type_without_hit:[0,1,1,""],test_vc_bad_enum:[0,1,1,""],test_vc_int_ranges_open:[0,1,1,""],test_commit_and_rollback_affect_on_role_unique:[0,1,1,""],test_commit_and_rollback_value:[0,1,1,""],test_commit_and_rollback_subtype:[0,1,1,""],test_of_type_with_hit:[0,1,1,""],setUp:[0,1,1,""],test_commit_rollback_ior:[0,1,1,""],test_vc_invalid_range:[0,1,1,""],test_commit_and_rollback:[0,1,1,""],test_mandatory_is_simple:[0,1,1,""],test_commit_rollback_mandatory:[0,1,1,""],test_commit_rollback_iuc:[0,1,1,""],test_vc_int_ranges:[0,1,1,""],test_vc_bad_ranges:[0,1,1,""],test_add_object_type:[0,1,1,""],test_vc_add_enum:[0,1,1,""],test_vc_too_large:[0,1,1,""],test_add_subset_roles:[0,1,1,""],test_commit_rollback_euc:[0,1,1,""]},"test.TestTransformation.TestValueConstraintTransformation_RVC":{test_failed_move_due_to_entity_with_mult_roles:[0,1,1,""],test_basic_entity_type_move:[0,1,1,""],test_value_cons_already_on_type:[0,1,1,""],setUp:[0,1,1,""],test_modification_lists_for_value_move:[0,1,1,""],test_move_of_rvc_to_non_ref_value_type:[0,1,1,""],test_failed_move_due_to_shared_ref_mode:[0,1,1,""],test_intersection_of_value_constraints:[0,1,1,""],test_failed_move_due_to_independence:[0,1,1,""]},"test.TestFactType":{TestFactType:[0,2,1,""]},"lib.InequalitySystem.InequalitySystem":{add:[3,1,1,""],solve:[3,1,1,""]},"lib.Transformation":{DisjunctiveRefTransformation:[3,2,1,""],ValueConstraintTransformation:[3,2,1,""],EUCStrengtheningTransformation:[3,2,1,""],AbsorptionTransformation:[3,2,1,""],subset_triples:[3,5,1,""],JoinMaterialization:[3,2,1,""],RootRoleTransformation:[3,2,1,""],TupleSubsetTransformation:[3,2,1,""],OverlappingIFCTransformation:[3,2,1,""],is_root:[3,5,1,""],direct_subsets:[3,5,1,""],JoinFactType:[3,2,1,""],UnsupportedSubsetRemoval:[3,2,1,""],AbsorptionFactType:[3,2,1,""],Transformation:[3,2,1,""]},"lib.TestDataLocator":{path:[3,5,1,""],get_data_dir:[3,5,1,""]},"test.TestCommandLine.TestCommandLine":{test_arg_parse:[0,1,1,""],test_execute_check:[0,1,1,""],test_populate_sat:[0,1,1,""],test_check_sat:[0,1,1,""],test_check_unsat_strengthened:[0,1,1,""],test_log_config:[0,1,1,""],test_check_unsat:[0,1,1,""],test_populate_exception:[0,1,1,""],test_execute_print:[0,1,1,""],test_populate_sat_write_to_bad_dir:[0,1,1,""],test_execute_noop:[0,1,1,""],test_execute_print_and_check:[0,1,1,""],test_import_model:[0,1,1,""],setUp:[0,1,1,""],test_import_fail:[0,1,1,""]},"lib.Transformation.JoinMaterialization":{execute:[3,1,1,""]},"lib.InequalitySystem.Expression":{tostring:[3,1,1,""],result:[3,1,1,""]},"test.TestModelElement":{TestModelElementSet:[0,2,1,""]},"lib.Population.Relation":{add:[3,1,1,""],names:[3,3,1,""],arity:[3,3,1,""],combine_with:[3,1,1,""],first:[3,1,1,""]},"lib.FactType.Role":{rollback:[3,1,1,""],mandatory:[3,3,1,""],data_type:[3,3,1,""],fact_type:[3,3,1,""],player:[3,3,1,""],covered_by:[3,3,1,""],commit:[3,1,1,""],fullname:[3,3,1,""],unique:[3,3,1,""]},"lib.ObjectType.EntityType":{identifying_constraint:[3,3,1,""]},"test.TestNormaLoader.TestNormaLoader":{test_valid_linear_join_path:[0,1,1,""],test_join_rule_with_no_join_path:[0,1,1,""],test_subpath_with_bad_child_node:[0,1,1,""],test_load_equality_constraint:[0,1,1,""],test_subtypes:[0,1,1,""],test_load_object_types:[0,1,1,""],test_derivation_source:[0,1,1,""],test_deprecated_join:[0,1,1,""],test_value_constraint_on_types:[0,1,1,""],test_unexpected_constraint_node:[0,1,1,""],test_pathed_roles_with_bad_child_node:[0,1,1,""],test_bad_value_constraint:[0,1,1,""],test_pathed_role_with_value_restriction_child_node:[0,1,1,""],test_valid_branching_join_path:[0,1,1,""],test_unknown_data_type:[0,1,1,""],test_role_names:[0,1,1,""],test_deontic_constraints:[0,1,1,""],test_invalid_value_constraint:[0,1,1,""],test_join_subset_omission:[0,1,1,""],test_uniqueness_constraint:[0,1,1,""],test_subset_constraint:[0,1,1,""],test_bad_cardinality_constraint_1:[0,1,1,""],test_pathed_role_with_negated_join:[0,1,1,""],test_bad_cardinality_constraint_3:[0,1,1,""],test_bad_cardinality_constraint_2:[0,1,1,""],test_join_rule_with_no_role_path:[0,1,1,""],test_bad_filename_extension:[0,1,1,""],test_frequency_constraint:[0,1,1,""],test_bad_role_sequence_node:[0,1,1,""],setUp:[0,1,1,""],test_implicit_role:[0,1,1,""],test_partial_subset:[0,1,1,""],test_constraints_omitted:[0,1,1,""],test_forced_implicit:[0,1,1,""],test_empty_model:[0,1,1,""],test_constraint_covers_both_implied_and_explicit_role:[0,1,1,""],test_join_rule_covering_implicit_roles:[0,1,1,""],test_card_and_value_constraint_on_implicit_type:[0,1,1,""],test_pathed_role_with_outer_join:[0,1,1,""],test_join_rule_with_subquery:[0,1,1,""],test_join_rule_with_unsupported_splits:[0,1,1,""],test_deontic_cardinality:[0,1,1,""],test_adding_invalid_element:[0,1,1,""],test_no_model_element:[0,1,1,""],test_bad_root_element:[0,1,1,""],test_subtypefact_constraints:[0,1,1,""],test_freq_on_unary:[0,1,1,""],test_mandatory:[0,1,1,""],test_data_type_load:[0,1,1,""],test_load_fact_types:[0,1,1,""],test_role_path_unexpected_child:[0,1,1,""],test_cardinality_constraints:[0,1,1,""],test_played_roles:[0,1,1,""],test_valid_complex_branching_join_path:[0,1,1,""],test_subtype_exception:[0,1,1,""]},"lib.Transformation.ValueConstraintTransformation":{subtype_graph:[3,3,1,""],execute:[3,1,1,""]},"test.TestTransformation.TestAbsorptionTransformation":{test_simple_absorption:[0,1,1,""],setUp:[0,1,1,""],test_pattern_not_matched:[0,1,1,""],test_four_part_absorption:[0,1,1,""]},"lib.ORMMinusModel":{ORMMinusModel:[3,2,1,""]},"lib.JoinPath":{JoinPathException:[3,6,1,""],JoinPath:[3,2,1,""]},"lib.Constraint.UniquenessConstraint":{simple:[3,3,1,""],commit:[3,1,1,""],rollback:[3,1,1,""],min_freq:[3,3,1,""],identifier_for:[3,3,1,""]},"test.TestTransformation.TestDisjunctiveRefTransformation":{test_disjunctive_ref_with_ior:[0,1,1,""],setUp:[0,1,1,""],test_disjunctive_ref_no_ior:[0,1,1,""]},"test.TestPopulation":{TestPopulationWrite:[0,2,1,""],TestPopulation:[0,2,1,""],TestRelation:[0,2,1,""],TestUtility:[0,2,1,""]},"test.TestTestDataLocator.TestTestDataLocator":{test_get_data_dir:[0,1,1,""],setup:[0,1,1,""]},"test.TestFactType.TestFactType":{test_role_rollback:[0,1,1,""],setUp:[0,1,1,""],test_duplicate_role_name:[0,1,1,""],test_add_role:[0,1,1,""]},lib:{Domain:[3,0,0,"-"],Constraint:[3,0,0,"-"],ORMMinusModel:[3,0,0,"-"],ModelElement:[3,0,0,"-"],CommandLine:[3,0,0,"-"],SubtypeGraph:[3,0,0,"-"],TestDataLocator:[3,0,0,"-"],FactType:[3,0,0,"-"],JoinPath:[3,0,0,"-"],InequalitySystem:[3,0,0,"-"],NormaLoader:[3,0,0,"-"],Model:[3,0,0,"-"],ObjectType:[3,0,0,"-"],Transformation:[3,0,0,"-"],Population:[3,0,0,"-"]},test:{TestModelElement:[0,0,0,"-"],TestSubtypeGraph:[0,0,0,"-"],TestORMMinusModel:[0,0,0,"-"],TestInequalitySystem:[0,0,0,"-"],TestDomain:[0,0,0,"-"],TestJoinPath:[0,0,0,"-"],TestTestDataLocator:[0,0,0,"-"],TestModel:[0,0,0,"-"],TestNormaLoader:[0,0,0,"-"],TestObjectType:[0,0,0,"-"],TestFactType:[0,0,0,"-"],TestConstraint:[0,0,0,"-"],TestTransformation:[0,0,0,"-"],TestCommandLine:[0,0,0,"-"],TestPopulation:[0,0,0,"-"]},"lib.Domain.Domain":{cast:[3,4,1,""],draw:[3,1,1,""],max_size:[3,3,1,""]},"lib.Transformation.OverlappingIFCTransformation":{execute:[3,1,1,""]},"lib.Constraint.MandatoryConstraint":{simple:[3,3,1,""],commit:[3,1,1,""],rollback:[3,1,1,""]},"test.TestTransformation.TestEUCStrengtheningTransformation":{test_simple_linear_path:[0,1,1,""],test_skipped_due_to_no_join_path:[0,1,1,""],setUp:[0,1,1,""],test_skipped_due_to_join_path_out_of_order:[0,1,1,""],test_compound_ref_scheme:[0,1,1,""],test_euc_on_branching_path:[0,1,1,""]},"lib.Constraint.FrequencyConstraint":{min_freq:[3,3,1,""],max_freq:[3,3,1,""]},"test.TestTransformation.TestTransformation":{setUp:[0,1,1,""],test_execute_not_implemented:[0,1,1,""]},"lib.InequalitySystem.Variable":{upper:[3,3,1,""],lower:[3,3,1,""],name:[3,3,1,""],is_invalid:[3,1,1,""],update:[3,1,1,""],tostring:[3,1,1,""],result:[3,1,1,""],is_stable:[3,1,1,""],declare_less_than:[3,1,1,""]},"test.TestTransformation.TestJoinMaterialization":{test_simple_materialization:[0,1,1,""],test_join_fact_rollback_not_implemented:[0,1,1,""],setUp:[0,1,1,""],test_join_subset_covering_both_join_roles:[0,1,1,""],test_join_subset_covering_ref_roles:[0,1,1,""]},"test.TestORMMinusModel":{TestORMMinusModel:[0,2,1,""]},"test.TestPopulation.TestPopulationWrite":{test_write_csv_with_dir_creation:[0,1,1,""],test_write_stdout:[0,1,1,""],get_mtimes:[0,1,1,""],setUp:[0,1,1,""],get_actual:[0,1,1,""],test_write_csv_without_dir_creation:[0,1,1,""],test_write_to_file_not_directory:[0,1,1,""],"delete":[0,1,1,""]},"lib.ObjectType":{ObjectTypeSet:[3,2,1,""],ValueType:[3,2,1,""],EntityType:[3,2,1,""],ObjectifiedType:[3,2,1,""],ObjectType:[3,2,1,""]},"test.TestObjectType.TestObjectType":{setUp:[0,1,1,""],test_domain:[0,1,1,""],test_rollback:[0,1,1,""]},"lib.Population.Population":{write_csv:[3,1,1,""],fact_types:[3,3,1,""],write_stdout:[3,1,1,""],object_types:[3,3,1,""]},"test.TestNormaLoader":{TestNormaLoader:[0,2,1,""]},"test.TestJoinPath":{TestJoinPath:[0,2,1,""]},"lib.ORMMinusModel.ORMMinusModel":{strengthened:[3,3,1,""],ignored:[3,3,1,""],DEFAULT_SIZE:[3,3,1,""],fact_types:[3,3,1,""],base_model:[3,3,1,""],get_parts:[3,1,1,""],object_types:[3,3,1,""],constraints:[3,3,1,""]}},titleterms:{domain:3,commandlin:3,modul:[0,3],submodul:[0,3],indic:1,transform:3,packag:[0,3],facttyp:3,testdataloc:3,tabl:1,testobjecttyp:0,testfacttyp:0,testcommandlin:0,welcom:1,lib:3,ormminusmodel:3,testtransform:0,content:[0,3],testnormaload:0,joinpath:3,test:0,objecttyp:3,testsubtypegraph:0,document:1,normaload:3,testtestdataloc:0,testdomain:0,popul:3,testjoinpath:0,testmodel:0,testpopul:0,modelel:3,testinequalitysystem:0,constraint:3,ormpi:1,testconstraint:0,subtypegraph:3,inequalitysystem:3,model:3,testmodelel:0,testormminusmodel:0}})