public static FlagsOfCopula makeConjuction() { FlagsOfCopula result = new FlagsOfCopula(); result.isConjection = true; return(result); }
public static string convToHumanString(this FlagsOfCopula flagsOfCopula) { if (flagsOfCopula.isInheritance) { return("-->"); } else if (flagsOfCopula.isSimilarity) { return("<->"); } else if (flagsOfCopula.isImplication) { return("==>"); } else if (flagsOfCopula.isEquivalence) { return("<=>"); } //else if (flagsOfCopula.isConjection) { // return "&&"; //} else { throw new Exception("Internal error - unimplemented"); } }
public static FlagsOfCopula makeImplication() { FlagsOfCopula result = new FlagsOfCopula(); result.nal5 = true; result.arrowRight = true; return(result); }
public static FlagsOfCopula makeInheritance() { FlagsOfCopula result = new FlagsOfCopula(); result.nal1or2 = true; result.arrowRight = true; return(result); }
public static FlagsOfCopula makeEquivalence() { FlagsOfCopula result = new FlagsOfCopula(); result.nal5 = true; result.arrowLeft = true; result.arrowRight = true; return(result); }
public static FlagsOfCopula makeSimilarity() { FlagsOfCopula result = new FlagsOfCopula(); result.nal1or2 = true; result.arrowLeft = true; result.arrowRight = true; return(result); }
public CompoundIndex makeInheritance(string a, string b) { int termOrCompoundTermOrVariableRefererIdOfA, termOrCompoundTermOrVariableRefererIdOfB; TermTupleIndex termTupleIndexOfA = compoundAndTermContext.returnIndexOfTermTupleForHumanReadableTermNameOrCreate(a, out termOrCompoundTermOrVariableRefererIdOfA); TermTupleIndex termTupleIndexOfB = compoundAndTermContext.returnIndexOfTermTupleForHumanReadableTermNameOrCreate(b, out termOrCompoundTermOrVariableRefererIdOfB); var compoundReferers = new TermOrCompoundTermOrVariableReferer[] { compoundAndTermContext.accessTermTupleByIndex(termTupleIndexOfA).refererOrIntervals[0].referer, compoundAndTermContext.accessTermTupleByIndex(termTupleIndexOfB).refererOrIntervals[0].referer, }; TermTupleIndex termTupleIndex; if (compoundAndTermContext.existTermTuple(compoundReferers)) { termTupleIndex = compoundAndTermContext.getTermTupleIndexByReferers(compoundReferers); } else { termTupleIndex = compoundAndTermContext.addTermTupleByReferers(compoundReferers); } // create compound Compound.MakeParameters makeParameters = new Compound.MakeParameters(); makeParameters.flagsOfCopula = FlagsOfCopula.makeInheritance(); makeParameters.termComplexity = 3; makeParameters.termTupleIndex = termTupleIndex; makeParameters.thisTermReferer = TermOrCompoundTermOrVariableReferer.makeNonatomic(compoundAndTermContext.TermOrCompoundTermOrVariableRefererCounter); compoundAndTermContext.TermOrCompoundTermOrVariableRefererCounter++; Compound compound = compoundAndTermContext.createCompound(makeParameters); CompoundIndex compoundIndex = compoundAndTermContext.addCompound(compound); return(compoundIndex); }
static uint getTermComplexityOfCopula(FlagsOfCopula flagsOfCopula) { return(1); }