public override string ToAlloy(string i_State)
{
switch (m_RuleOperator)
{
case RuleOperator.AND:
return("( " + m_CuLeRule_A.ToAlloy(i_State) + " and " + m_CuLeRule_B.ToAlloy(i_State) + " )");
case RuleOperator.OR:
return("( " + m_CuLeRule_A.ToAlloy(i_State) + " or " + m_CuLeRule_B.ToAlloy(i_State) + " )");
default:
throw new ArgumentException("Unknown Rule Operator");
}
}
public override string ToAlloy(String i_State)
{
return("( " + m_CuLeRule_A.ToAlloy(i_State) + " iff " + m_CuLeRule_B.ToAlloy(i_State) + " )");
}
public override string ToAlloy(String i_State)
{
return("( " + m_CuLeRule_IF.ToAlloy(i_State) + " => " + m_CuLeRule_THEN.ToAlloy(i_State) + " else " + m_CuLeRule_ELSE.ToAlloy(i_State) + " )");
}
public override string ToAlloy(string i_State)
{
return("( not " + m_CuLeRule.ToAlloy(i_State) + " )");
}