CycFormulaSentence extends CycFormula implements CycSentence { public String getNonWffAssertExplanation(CycAccess access) { try { return getNonWffAssertExplanation(access, CycAccess.currentWorldDataMt); } catch (Exception ex) { throw (new CycApiException("Unable to retrieve explanation for why " + this + " is not well-formed in " +CycAccess.currentWorldDataMt, ex)); } } CycFormulaSentence(Iterable<? extends Object> terms); private  CycFormulaSentence(); static CycFormulaSentence makeCycFormulaSentence(Object... terms); static CycFormulaSentence makeConjunction(CycFormulaSentence... conjuncts); static CycFormulaSentence makeConjunction(Iterable<CycFormulaSentence> conjuncts); static CycFormulaSentence makeDisjunction(Iterable<CycFormulaSentence> conjuncts); static CycFormulaSentence makeNegation(CycFormulaSentence sentence); static Object convertIfPromising(final Object obj); @Override boolean isConditionalSentence(); @Override boolean isConjunction(); @Override boolean isLogicalConnectorSentence(); @Override boolean isExistential(); @Override boolean isUniversal(); Map<CycVariable, String> getOptimizedVarNames(CycAccess access); CycSentence getEqualsFoldedSentence(CycAccess access); CycSentence getEqualsFoldedSentence(CycAccess access, ELMt mt); CycSentence getSimplifiedSentence(CycAccess access); CycSentence getSimplifiedSentence(CycAccess access, ELMt mt); CycFormulaSentence getExpandedSentence(CycAccess access); CycFormulaSentence getExpandedSentence(CycAccess access, ELMt mt); CycFormulaSentence getCanonicalElSentence(CycAccess access); CycFormulaSentence getCanonicalElSentence(CycAccess access, Boolean canonicalizeVars); CycFormulaSentence getCanonicalElSentence(CycAccess access, ELMt mt, Boolean canonicalizeVars); boolean hasWffConstraintViolations(CycAccess access, ELMt mt); String getNonWffAssertExplanation(CycAccess access); String getNonWffAssertExplanation(CycAccess access, ELMt mt); String getNonWffExplanation(CycAccess access); String getNonWffExplanation(CycAccess access, ELMt mt); @Override CycFormulaSentence deepCopy(); CycFormulaSentence substituteNonDestructive(CycObject original, CycObject replacement); void substituteDestructive(CycObject original, CycObject replacement); CycFormulaSentence treeSubstitute(CycAccess access, Map<CycObject, Object> substitutions); @Override Object clone(); @Override int compareTo(Object o); static final CycConstant AND; static final CycConstant THERE_EXISTS; static final CycConstant FOR_ALL; static final CycConstant OR; static final CycConstant NOT; static final CycConstant UNKNOWN_SENTENCE; static final CycConstant IMPLIES; }
@Test public void testGetNonWffAssertExplanation_CycAccess() { System.out.println("getNonWffAssertExplanation"); CycFormulaSentence instance = cycAccess.makeCycSentence("(#$isa #$MarkDuggan-SoccerPlayer #$BiologicalLivingObject)"); String expResult = null; String result = instance.getNonWffAssertExplanation(cycAccess); assertEquals(expResult, result); }