- a -

• a : PolyNomial::QuadraticPolyPara
• ADD_CLAUSE_DEAD : VariableState , HVariableState
• ADD_CLAUSE_INITIAL : HVariableState , VariableState
• ADD_CLAUSE_REGULAR : VariableState , HVariableState
• ADD_CLAUSE_SAT : HVariableState , VariableState
• addedPredStr : AuxClauseData
• affectedArr : UndoInfo
• allClauseTrueCnts_ : Inference
• allPredGndingsAreQueries : AddGroundClauseStruct
• ANY_TYPE_NAME : PredicateTemplate
• Args : ARGS
• atom_ : HVariableState
• atomEvi_ : HVariableState
• atomsLast_ : HVariableState

---