// Rule States for the project

import edu.neu.ccs.demeter.dj.* ;
import java.util.*;

RuleStates = List(RuleState) EOF.
RuleState : UnaryS | BinaryS.
UnaryS = FailState.
BinaryS= <first> AExp "||" <second> FExp.

AExp : ASimple | ACompound.
ASimple : AssignmentName | OptDecisionLiteral | EmptyAssignment.
ACompound = "(" <op> Concat <args> List(AExp) ")".
Concat = ".".

FExp : FSimple | FCompound.
FSimple : FormulaName | Constraint.
FCompound = "(" <op> And <args> List(FExp) ")".
And = "&".

Constraint = "#R" RelationName "("  [PositionLiteral]  ")".
PositionLiteral = Position Literal.
EmptyAssignment = "{}".
FailState = "FailState".
OptDecisionLiteral = Literal [Star].
Star = "*".
Literal = "#L" Kind Variable.
Kind : Neg | Pos .
Neg = "!".
Pos = .

List(S) ~ {S}.

// Terminal Buffer Rule
FormulaName = "#F" <v> Ident.
AssignmentName = "#A" <v> Ident.
Position = <v> int.
Variable = <v> Ident.
RelationName = <v> Ident.

Main = .