private static bool CheckIOPair(string c1, string c2)
{
if (IType.GetSubjectByStatement(c1) == OType.GetSubjectByStatement(c2) &&
IType.GetPredicateByStatement(c1) == OType.GetPredicateByStatement(c2))
{
return(true);
}
return(false);
}
private static bool CheckAOPair(string c1, string c2)
{
if (AType.GetSubjectByProposition(c1) == OType.GetSubjectByStatement(c2) &&
AType.GetPredicateByProposition(c1) == OType.GetPredicateByStatement(c2))
{
return(true);
}
return(false);
}
public static string GetSubjectByProposition(string proposition)
{
if (AType.IsTrue(proposition))
{
return(AType.GetSubjectByProposition(proposition));
}
if (EType.IsTrue(proposition))
{
return(EType.GetSubjectByStatement(proposition));
}
if (IType.IsTrue(proposition))
{
return(IType.GetSubjectByStatement(proposition));
}
if (OType.IsTrue(proposition))
{
return(OType.GetSubjectByStatement(proposition));
}
return(INVALIDTYPE);
}
