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
/
case.study.pledge.model
/
src
/
TaxationWithRoot
Mode
Name
Size
-rw-r--r--
Address.java
5074
log
stats
plain
blame
-rw-r--r--
Agriculture_and_Forestry_Income.java
420
log
stats
plain
blame
-rw-r--r--
CE_Type.java
6268
log
stats
plain
blame
-rw-r--r--
CIM.java
314
log
stats
plain
blame
-rw-r--r--
CIP.java
314
log
stats
plain
blame
-rw-r--r--
CIS.java
314
log
stats
plain
blame
-rw-r--r--
Capital_and_Investments_Income.java
416
log
stats
plain
blame
-rw-r--r--
Category_of_Health_and_Pension_Insurances.java
6726
log
stats
plain
blame
-rw-r--r--
Category_of_Permanent_Expense.java
5117
log
stats
plain
blame
-rw-r--r--
Category_of_Private_Insurance_and_Plan.java
7467
log
stats
plain
blame
-rw-r--r--
Constants.java
29258
log
stats
plain
blame
-rw-r--r--
Country.java
6267
log
stats
plain
blame
-rw-r--r--
Dependent.java
7319
log
stats
plain
blame
-rw-r--r--
Dependent_Type.java
6375
log
stats
plain
blame
-rw-r--r--
Disability_Types.java
7302
log
stats
plain
blame
-rw-r--r--
Donation.java
2128
log
stats
plain
blame
-rw-r--r--
Employment_Income.java
364
log
stats
plain
blame
-rw-r--r--
Expense.java
7007
log
stats
plain
blame
-rw-r--r--
Expense_Purpose.java
6917
log
stats
plain
blame
-rw-r--r--
External_Allowance.java
5727
log
stats
plain
blame
-rw-r--r--
Extraordinary_Expense_CE.java
2512
log
stats
plain
blame
-rw-r--r--
Fiscal_Address.java
348
log
stats
plain
blame
-rw-r--r--
Foreign_Income.java
347
log
stats
plain
blame
-rw-r--r--
FromAgent.java
5647
log
stats
plain
blame
-rw-r--r--
FromLaw.java
2164
log
stats
plain
blame
-rw-r--r--
Grantor.java
6371
log
stats
plain
blame
-rw-r--r--
Habitual_Address.java
356
log
stats
plain
blame
-rw-r--r--
Health_and_Pension_Insurance.java
2830
log
stats
plain
blame
-rw-r--r--
Household.java
2991
log
stats
plain
blame
-rw-r--r--
Income.java
7631
log
stats
plain
blame
-rw-r--r--
Income_Detail.java
6233
log
stats
plain
blame
-rw-r--r--
Income_Tax.java
3516
log
stats
plain
blame
-rw-r--r--
Income_Tax_Credit.java
7303
log
stats
plain
blame
-rw-r--r--
Income_Type.java
2199
log
stats
plain
blame
-rw-r--r--
Interest_Expense.java
367
log
stats
plain
blame
-rw-r--r--
Job_Activity.java
5214
log
stats
plain
blame
-rw-r--r--
Legal_Union_Record.java
8576
log
stats
plain
blame
-rw-r--r--
Legal_Union_Types.java
5293
log
stats
plain
blame
-rw-r--r--
Local_Income.java
339
log
stats
plain
blame
-rw-r--r--
Loss_Carryforward.java
371
log
stats
plain
blame
-rw-r--r--
Marriage_Record.java
363
log
stats
plain
blame
-rw-r--r--
Miscellaneous_Expense_FO.java
401
log
stats
plain
blame
-rw-r--r--
Non_Resident_Tax_Payer.java
1543
log
stats
plain
blame
-rw-r--r--
Partnership_Record.java
375
log
stats
plain
blame
-rw-r--r--
Pensions_and_Annuities_Income.java
1494
log
stats
plain
blame
-rw-r--r--
Permanent_Expense.java
1520
log
stats
plain
blame
-rw-r--r--
Physical_Person.java
8046
log
stats
plain
blame
-rw-r--r--
Private_Insurance_and_Plan.java
2588
log
stats
plain
blame
-rw-r--r--
Professional_Expense.java
372
log
stats
plain
blame
-rw-r--r--
Rentals_and_Leases_Income.java
1384
log
stats
plain
blame
-rw-r--r--
Resident_Tax_Payer.java
366
log
stats
plain
blame
-rw-r--r--
Resource.java
1016
log
stats
plain
blame
-rw-r--r--
Separation_Causes.java
5982
log
stats
plain
blame
-rw-r--r--
Special_Expense_DS.java
364
log
stats
plain
blame
-rw-r--r--
Spousal_Expense_AC.java
364
log
stats
plain
blame
-rw-r--r--
Tax_Card.java
32017
log
stats
plain
blame
-rw-r--r--
Tax_Case.java
396
log
stats
plain
blame
-rw-r--r--
Tax_Class_Category.java
5214
log
stats
plain
blame
-rw-r--r--
Tax_Office.java
5548
log
stats
plain
blame
-rw-r--r--
Tax_Payer.java
4101
log
stats
plain
blame
-rw-r--r--
Tax_Property.java
3190
log
stats
plain
blame
-rw-r--r--
TaxationFactory.java
11925
log
stats
plain
blame
-rw-r--r--
TaxationPackage.java
295635
log
stats
plain
blame
-rw-r--r--
Town.java
5790
log
stats
plain
blame
-rw-r--r--
Trade_and_Business_Income.java
396
log
stats
plain
blame
-rw-r--r--
Travel_Expense_FD.java
373
log
stats
plain
blame
d---------
impl
2610
log
stats
plain
d---------
util
102
log
stats
plain