index
:
VIATRA-Generator
Attribute-Solver
Realistic-Generation-SURE
RealisticMetrics
Scope-PS-Refactor
V4transformation
Vampire-ArenB
Vampire-New
cardinality-counter
dreal-integration
hypergraphs
master
models20-measurements
smartgridgenerator
statecoding_new
web-demo
Mirror of https://github.com/viatra/VIATRA-Generator
Contributors to the VIATRA Generator project
about
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
path:
root
/
Tests
/
MODELS2020-CaseStudies
/
models20.diversity-calculator
/
src
/
TaxationWithRoot
Mode
Name
Size
-rw-r--r--
Address.java
5130
log
stats
plain
blame
-rw-r--r--
Agriculture_and_Forestry_Income.java
428
log
stats
plain
blame
-rw-r--r--
CE_Type.java
6276
log
stats
plain
blame
-rw-r--r--
CIM.java
322
log
stats
plain
blame
-rw-r--r--
CIP.java
322
log
stats
plain
blame
-rw-r--r--
CIS.java
322
log
stats
plain
blame
-rw-r--r--
Capital_and_Investments_Income.java
424
log
stats
plain
blame
-rw-r--r--
Category_of_Health_and_Pension_Insurances.java
6734
log
stats
plain
blame
-rw-r--r--
Category_of_Permanent_Expense.java
5125
log
stats
plain
blame
-rw-r--r--
Category_of_Private_Insurance_and_Plan.java
7475
log
stats
plain
blame
-rw-r--r--
Constants.java
29466
log
stats
plain
blame
-rw-r--r--
Country.java
6275
log
stats
plain
blame
-rw-r--r--
Dependent.java
7383
log
stats
plain
blame
-rw-r--r--
Dependent_Type.java
6383
log
stats
plain
blame
-rw-r--r--
Disability_Types.java
7310
log
stats
plain
blame
-rw-r--r--
Donation.java
2152
log
stats
plain
blame
-rw-r--r--
Employment_Income.java
372
log
stats
plain
blame
-rw-r--r--
Expense.java
7071
log
stats
plain
blame
-rw-r--r--
Expense_Purpose.java
6925
log
stats
plain
blame
-rw-r--r--
External_Allowance.java
5783
log
stats
plain
blame
-rw-r--r--
Extraordinary_Expense_CE.java
2536
log
stats
plain
blame
-rw-r--r--
Fiscal_Address.java
356
log
stats
plain
blame
-rw-r--r--
Foreign_Income.java
355
log
stats
plain
blame
-rw-r--r--
FromAgent.java
5695
log
stats
plain
blame
-rw-r--r--
FromLaw.java
2188
log
stats
plain
blame
-rw-r--r--
Grantor.java
6379
log
stats
plain
blame
-rw-r--r--
Habitual_Address.java
364
log
stats
plain
blame
-rw-r--r--
Health_and_Pension_Insurance.java
2854
log
stats
plain
blame
-rw-r--r--
Household.java
3023
log
stats
plain
blame
-rw-r--r--
Income.java
7703
log
stats
plain
blame
-rw-r--r--
Income_Detail.java
6297
log
stats
plain
blame
-rw-r--r--
Income_Tax.java
3556
log
stats
plain
blame
-rw-r--r--
Income_Tax_Credit.java
7375
log
stats
plain
blame
-rw-r--r--
Income_Type.java
2223
log
stats
plain
blame
-rw-r--r--
Interest_Expense.java
375
log
stats
plain
blame
-rw-r--r--
Job_Activity.java
5222
log
stats
plain
blame
-rw-r--r--
Legal_Union_Record.java
8656
log
stats
plain
blame
-rw-r--r--
Legal_Union_Types.java
5301
log
stats
plain
blame
-rw-r--r--
Local_Income.java
347
log
stats
plain
blame
-rw-r--r--
Loss_Carryforward.java
379
log
stats
plain
blame
-rw-r--r--
Marriage_Record.java
371
log
stats
plain
blame
-rw-r--r--
Miscellaneous_Expense_FO.java
409
log
stats
plain
blame
-rw-r--r--
Non_Resident_Tax_Payer.java
1559
log
stats
plain
blame
-rw-r--r--
Partnership_Record.java
383
log
stats
plain
blame
-rw-r--r--
Pensions_and_Annuities_Income.java
1510
log
stats
plain
blame
-rw-r--r--
Permanent_Expense.java
1536
log
stats
plain
blame
-rw-r--r--
Physical_Person.java
8126
log
stats
plain
blame
-rw-r--r--
Private_Insurance_and_Plan.java
2612
log
stats
plain
blame
-rw-r--r--
Professional_Expense.java
380
log
stats
plain
blame
-rw-r--r--
Rentals_and_Leases_Income.java
1400
log
stats
plain
blame
-rw-r--r--
Resident_Tax_Payer.java
374
log
stats
plain
blame
-rw-r--r--
Resource.java
1032
log
stats
plain
blame
-rw-r--r--
Separation_Causes.java
5990
log
stats
plain
blame
-rw-r--r--
Special_Expense_DS.java
372
log
stats
plain
blame
-rw-r--r--
Spousal_Expense_AC.java
372
log
stats
plain
blame
-rw-r--r--
Tax_Card.java
32297
log
stats
plain
blame
-rw-r--r--
Tax_Case.java
404
log
stats
plain
blame
-rw-r--r--
Tax_Class_Category.java
5222
log
stats
plain
blame
-rw-r--r--
Tax_Office.java
5556
log
stats
plain
blame
-rw-r--r--
Tax_Payer.java
4141
log
stats
plain
blame
-rw-r--r--
Tax_Property.java
3222
log
stats
plain
blame
-rw-r--r--
TaxationWithRootFactory.java
11981
log
stats
plain
blame
-rw-r--r--
TaxationWithRootPackage.java
296715
log
stats
plain
blame
-rw-r--r--
Town.java
5798
log
stats
plain
blame
-rw-r--r--
Trade_and_Business_Income.java
404
log
stats
plain
blame
-rw-r--r--
Travel_Expense_FD.java
381
log
stats
plain
blame
d---------
impl
2626
log
stats
plain
d---------
util
118
log
stats
plain