Class FormulaGrammarRule

FormulaGrammarRule

Class Summary
Constructor Attributes Constructor Name and Description
 
A Class contains all the unique rules can be applied combinely to any expressions, using the Rule Engine.

Method Summary

Class Detail

FormulaGrammarRule()
A Class contains all the unique rules can be applied combinely to any expressions, using the Rule Engine.
require('FormulaGrammarRule')

Field Detail

<static> FormulaGrammarRule.UTIL
Object types provided by Collections

Method Detail

  • <static> {Rule} FormulaGrammarRule.RULE_1()
    Once the rule executes, it ensures All Clause - All LHS Fact should have same number of Variables.
    Returns:
    {Rule}
  • <static> {Rule} FormulaGrammarRule.RULE_2()
    Once the rule executes, it ensures In expression the body part should be available. 'group(A,B).' is a valid expression, but cant be calculated, so It should have a body..
    Returns:
    {Rule}
  • <static> {Rule} FormulaGrammarRule.RULE_3()
    Once the rule executes, it ensures All Clause - Fact Variable should be available Either in the variables of Ranges or in the LHS of Constraint Equal.
    Returns:
    {Rule}
  • <static> {Rule} FormulaGrammarRule.RULE_4()
    Once the rule executes, it ensures Range - Variables Should not be Modified using Constr Equal Ex: student(Id, Name, Age), Id = Age + 10.
    Returns:
    {Rule}
  • <static> {Rule} FormulaGrammarRule.RULE_5()
    Once the rule executes, it ensures Binary Relation - Variables Should be Avaialable either in Ranges Variable or in Constraint Equal Ex: p(X) :- q(Y), r(Z), Y = X + Z. It will be valid only if p(X) :- q(Y), r(Z), X = Y - Z.
    Returns:
    {Rule}
  • <static> {Rule} FormulaGrammarRule.RULE_6()
    Once the rule executes, it ensures In Recursive Expressions, RHS Should not have Dynamically Modifiable Variables - =indirectKM(F,T,Km) :- directKm(F,T,Km).indirectKM(F,T,Km) :- indirectKM(F,K,Km1),directKm(K,T,Km2), Km=Km1+Km2.
    Returns:
    {Rule}
  • <static> {Rule} FormulaGrammarRule.RULE_7()
    Once the rule executes, it ensures In expression no variable named '_' allowed and _ cant be used as a variable in ConstrRel.
    Returns:
    {Rule}
  • <static> {Rule} FormulaGrammarRule.RULE_8()
    Once the rule executes, it ensures In expression all the negative range variables should be used in the positive range variables.
    Returns:
    {Rule}
  • <static> {Rule} FormulaGrammarRule.RULE_9()
    Once the rule executes, it ensures All ConstrEq: Variable OpEQ ConstrOp - LHS Variable should not be used in the RHS.
    Returns:
    {Rule}