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
/
Taxation
Mode
Name
Size
-rw-r--r--
Address.java
4874
log
stats
plain
blame
-rw-r--r--
Agriculture_and_Forestry_Income.java
404
log
stats
plain
blame
-rw-r--r--
CE_Type.java
6252
log
stats
plain
blame
-rw-r--r--
CIM.java
298
log
stats
plain
blame
-rw-r--r--
CIP.java
298
log
stats
plain
blame
-rw-r--r--
CIS.java
298
log
stats
plain
blame
-rw-r--r--
Capital_and_Investments_Income.java
400
log
stats
plain
blame
-rw-r--r--
Category_of_Health_and_Pension_Insurances.java
6710
log
stats
plain
blame
-rw-r--r--
Category_of_Permanent_Expense.java
5101
log
stats
plain
blame
-rw-r--r--
Category_of_Private_Insurance_and_Plan.java
7451
log
stats
plain
blame
-rw-r--r--
Constants.java
28642
log
stats
plain
blame
-rw-r--r--
Country.java
6251
log
stats
plain
blame
-rw-r--r--
DS.java
2011
log
stats
plain
blame
-rw-r--r--
DS_for_Donation.java
331
log
stats
plain
blame
-rw-r--r--
DS_for_Health_and_Pension_Insurance.java
1758
log
stats
plain
blame
-rw-r--r--
DS_for_Interest_Expense.java
363
log
stats
plain
blame
-rw-r--r--
DS_for_Loss_Carryforward.java
367
log
stats
plain
blame
-rw-r--r--
DS_for_Permanent_Expense.java
1705
log
stats
plain
blame
-rw-r--r--
DS_for_Private_Insurance_and_Plan.java
5614
log
stats
plain
blame
-rw-r--r--
Dependent.java
7031
log
stats
plain
blame
-rw-r--r--
Dependent_Type.java
6359
log
stats
plain
blame
-rw-r--r--
Disability_Types.java
7286
log
stats
plain
blame
-rw-r--r--
Donation.java
3060
log
stats
plain
blame
-rw-r--r--
Employment_Income.java
348
log
stats
plain
blame
-rw-r--r--
Expense.java
6735
log
stats
plain
blame
-rw-r--r--
Expense_Purpose.java
6901
log
stats
plain
blame
-rw-r--r--
External_Allowance.java
6271
log
stats
plain
blame
-rw-r--r--
Extraordinary_Expense_CE.java
2424
log
stats
plain
blame
-rw-r--r--
FD.java
2213
log
stats
plain
blame
-rw-r--r--
FO.java
1373
log
stats
plain
blame
-rw-r--r--
Fiscal_Address.java
332
log
stats
plain
blame
-rw-r--r--
Foreign_Income.java
331
log
stats
plain
blame
-rw-r--r--
FromAgent.java
5463
log
stats
plain
blame
-rw-r--r--
FromLaw.java
2084
log
stats
plain
blame
-rw-r--r--
Grantor.java
6355
log
stats
plain
blame
-rw-r--r--
Habitual_Address.java
340
log
stats
plain
blame
-rw-r--r--
Health_and_Pension_Insurance.java
2742
log
stats
plain
blame
-rw-r--r--
Household.java
2871
log
stats
plain
blame
-rw-r--r--
Income.java
7343
log
stats
plain
blame
-rw-r--r--
Income_Detail.java
6033
log
stats
plain
blame
-rw-r--r--
Income_Tax.java
3404
log
stats
plain
blame
-rw-r--r--
Income_Tax_Credit.java
7055
log
stats
plain
blame
-rw-r--r--
Income_Type.java
3217
log
stats
plain
blame
-rw-r--r--
Interest_Expense.java
351
log
stats
plain
blame
-rw-r--r--
Job_Activity.java
5198
log
stats
plain
blame
-rw-r--r--
Legal_Union_Record.java
8288
log
stats
plain
blame
-rw-r--r--
Legal_Union_Types.java
5277
log
stats
plain
blame
-rw-r--r--
Local_Income.java
323
log
stats
plain
blame
-rw-r--r--
Loss_Carryforward.java
4839
log
stats
plain
blame
-rw-r--r--
Marriage_Record.java
347
log
stats
plain
blame
-rw-r--r--
Miscellaneous_Expense_FO.java
385
log
stats
plain
blame
-rw-r--r--
Non_Resident_Tax_Payer.java
1503
log
stats
plain
blame
-rw-r--r--
Partnership_Record.java
359
log
stats
plain
blame
-rw-r--r--
Pensions_and_Annuities_Income.java
1454
log
stats
plain
blame
-rw-r--r--
Permanent_Expense.java
2503
log
stats
plain
blame
-rw-r--r--
Physical_Person.java
9856
log
stats
plain
blame
-rw-r--r--
Private_Insurance_and_Plan.java
3898
log
stats
plain
blame
-rw-r--r--
Professional_Expense.java
356
log
stats
plain
blame
-rw-r--r--
Professional_Expenses_Deduction.java
439
log
stats
plain
blame
-rw-r--r--
Rentals_and_Leases_Income.java
1344
log
stats
plain
blame
-rw-r--r--
Resident_Tax_Payer.java
350
log
stats
plain
blame
-rw-r--r--
Separation_Causes.java
5966
log
stats
plain
blame
-rw-r--r--
Special_Expense_DS.java
348
log
stats
plain
blame
-rw-r--r--
Spousal_Expense_AC.java
348
log
stats
plain
blame
-rw-r--r--
Tax_Card.java
32626
log
stats
plain
blame
-rw-r--r--
Tax_Card_Type.java
4782
log
stats
plain
blame
-rw-r--r--
Tax_Case.java
380
log
stats
plain
blame
-rw-r--r--
Tax_Class_Category.java
5198
log
stats
plain
blame
-rw-r--r--
Tax_Office.java
5532
log
stats
plain
blame
-rw-r--r--
Tax_Payer.java
4687
log
stats
plain
blame
-rw-r--r--
Tax_Property.java
3086
log
stats
plain
blame
-rw-r--r--
TaxationFactory.java
14388
log
stats
plain
blame
-rw-r--r--
TaxationPackage.java
337595
log
stats
plain
blame
-rw-r--r--
Town.java
5774
log
stats
plain
blame
-rw-r--r--
Trade_and_Business_Income.java
380
log
stats
plain
blame
-rw-r--r--
Travel_Expense_FD.java
357
log
stats
plain
blame
-rw-r--r--
Type_of_Rate.java
4696
log
stats
plain
blame
d---------
impl
3126
log
stats
plain
d---------
util
102
log
stats
plain