src/main/java/logic/is/power/tptp_parser/tptp_tester.java
/** Auxilliary for 
     *  checkSemantically(SimpleTptpParserOutput.TopLevelItem item,String fileName):
     *  checks whether <strong> formula </strong> is semantically well-formed 
     *  wrt the signature <strong> _signature </strong>. Side effect: new symbols are 
     *  declared in <strong> _signature </strong>.
     */
Auxilliary for
checkSemantically(SimpleTptpParserOutput.TopLevelItem item,String fileName):
checks whether  formula  is semantically well-formed
wrt the signature  _signature . Side effect: new symbols are
declared in  _signature .
Auxilliary for checkSemantically ( SimpleTptpParserOutput . TopLevelItem item String fileName ) : checks whether formula is semantically well - formed wrt the signature _signature . Side effect : new symbols are declared in _signature .
private 
    static void checkSemantically(SimpleTptpParserOutput.Formula formula)
    throws Exception
  {
    switch (formula.getKind()) {            
    case Atomic: 
      checkSemantically((SimpleTptpParserOutput.Formula.Atomic)formula);
      break;
    case Negation: 
      checkSemantically(((SimpleTptpParserOutput.Formula.Negation)formula).getArgument());
      break;
    case Binary: 
      checkSemantically(((SimpleTptpParserOutput.Formula.Binary)formula).getLhs());
      checkSemantically(((SimpleTptpParserOutput.Formula.Binary)formula).getRhs());
      break;
    case Quantified: 
      checkSemantically(((SimpleTptpParserOutput.Formula.Quantified)formula).getMatrix());
      break;
    } 
  }
private static void checkSemantically ( SimpleTptpParserOutput . Formula formula ) throws Exception { switch ( formula . getKind ( ) ) { case Atomic : checkSemantically ( ( SimpleTptpParserOutput . Formula . Atomic ) formula ) ; break ; case Negation : checkSemantically ( ( ( SimpleTptpParserOutput . Formula . Negation ) formula ) . getArgument ( ) ) ; break ; case Binary : checkSemantically ( ( ( SimpleTptpParserOutput . Formula . Binary ) formula ) . getLhs ( ) ) ; checkSemantically ( ( ( SimpleTptpParserOutput . Formula . Binary ) formula ) . getRhs ( ) ) ; break ; case Quantified : checkSemantically ( ( ( SimpleTptpParserOutput . Formula . Quantified ) formula ) . getMatrix ( ) ) ; break ; } }
Auxilliary for
  checkSemantically(SimpleTptpParserOutput.TopLevelItem item,String fileName):
  checks whether <strong> formula </strong> is semantically well-formed
  wrt the signature <strong> _signature </strong>.
Auxilliary for checkSemantically ( SimpleTptpParserOutput . TopLevelItem item String fileName ) : checks whether <strong > formula < / strong > is semantically well - formed wrt the signature <strong > _signature < / strong > .