public void CalculateFinalTruthValue_test()
{
//Arrange
var finalVar = new FinalVar("a");
//Act
var truthValue = finalVar.CalculateFinalTruthValue();
//Assert
Assert.IsFalse(truthValue); //must be false since the first value is 0
}
public void getChildProposition_does_it_return_List_IProposition()
{
//Arrange
var finalVar = new FinalVar("a");
//Act
var returnedProposition = finalVar.getChildProposition();
//Assert
Assert.IsInstanceOfType(returnedProposition, typeof(List <IProposition>));
}
public void GetString_Is_it_valid()
{
//Arrange
var finalVar = new FinalVar("a");
//Act
var returnedProposition = finalVar.GetString();
//Assert
Assert.AreEqual(returnedProposition, "a");
}
public void CalculateFinalTruthValue_test()
{
//Arrange
var finalVar = new FinalVar("a");
var notVar = new NotClass(finalVar);
//Act
var truthValue = notVar.CalculateFinalTruthValue();
//Assert
Assert.IsTrue(truthValue); //must be true since this is negation of false
}
public void setLogicResult_set_false()
{
//Arrange
var finalVar = new FinalVar("a");
//Act
finalVar.setLogicResult(false);
var truthValue = finalVar.CalculateFinalTruthValue();
//Assert
Assert.IsFalse(truthValue);
}
public void CalculateFinalTruthValue_test()
{
//Arrange
var finalVarLeft = new FinalVar("a");
var finalVarRight = new FinalVar("b");
var ImplicationVar = new ImplicationClass(finalVarLeft, finalVarRight);
//Act
var truthValue = ImplicationVar.CalculateFinalTruthValue();
//Assert
Assert.IsTrue(truthValue); //The first instance is true since its 0 0
}
public void getChildProposition_does_it_return_List_IProposition()
{
//Arrange
var finalVarLeft = new FinalVar("a");
var finalVarRight = new FinalVar("b");
var ImplicationVar = new ImplicationClass(finalVarLeft, finalVarRight);
//Act
var returnedProposition = ImplicationVar.getChildProposition();
//Assert
Assert.IsInstanceOfType(returnedProposition, typeof(List <IProposition>));
}
public void GetString_Is_it_valid()
{
//Arrange
var finalVarLeft = new FinalVar("a");
var finalVarRight = new FinalVar("b");
var ImplicationVar = new ImplicationClass(finalVarLeft, finalVarRight);
//Act
var stringReturn = ImplicationVar.GetString();
//Assert
Assert.AreEqual(stringReturn, "(a → b)");
}
public void CalculateFinalTruthValue_test()
{
//Arrange
var finalVarLeft = new FinalVar("a");
var finalVarRight = new FinalVar("b");
var orVar = new OrClass(finalVarLeft, finalVarRight);
//Act
var truthValue = orVar.CalculateFinalTruthValue();
//Assert
Assert.IsFalse(truthValue); //false since the first instance both of the value would be 0 0
}
public void CalculateFinalTruthValue_test()
{
//Arrange
var finalVarLeft = new FinalVar("a");
var finalVarRight = new FinalVar("b");
var nandifyVar = new Nandify(finalVarLeft, finalVarRight);
//Act
var truthValue = nandifyVar.CalculateFinalTruthValue();
//Assert
Assert.IsTrue(truthValue); //The first instance is true since its 0 0
}
public void GetString_Is_it_valid()
{
//Arrange
var finalVarLeft = new FinalVar("a");
var finalVarRight = new FinalVar("b");
var nandifyVar = new Nandify(finalVarLeft, finalVarRight);
//Act
var stringReturn = nandifyVar.GetString();
//Assert
Assert.AreEqual(stringReturn, "(a % b)");
}
