Project

General

Profile

« Previous | Next » 

Revision f1fa9ad5

IDf1fa9ad5625655459a1bc75a9c2d88d1b6947138
Parent 0ba29296
Child 7aa620ce

Added by Thorsten WiƟmann almost 4 years ago

Add syntax elements for CL

- Add ENFORCES/ALLOWS to formula type
- Add HCENFORCES/HCALLOWS to hcFormula_node type
- Add EnforcesF/AllowsF to formulaType type
- Add CoalitonLogic to the list of functors ("sorts")
- Parse [{ }] and <{ }> terms
- Do hashing of those
- And decompose them and save list of agents as arrays

Note that it is not possible to split this commit into separate commits
such that the code in between these still compiles.

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences