public void getChildProposition_does_it_return_List_IProposition() { //Arrange var finalVarLeft = new FinalVar("a"); var finalVarRight = new FinalVar("b"); var andVar = new AndClass(finalVarLeft, finalVarRight); //Act var returnedProposition = andVar.getChildProposition(); //Assert Assert.IsInstanceOfType(returnedProposition, typeof(List <IProposition>)); }
public void CalculateFinalTruthValue_test() { //Arrange var finalVarLeft = new FinalVar("a"); var finalVarRight = new FinalVar("b"); var andVar = new AndClass(finalVarLeft, finalVarRight); //Act var truthValue = andVar.CalculateFinalTruthValue(); //Assert Assert.IsFalse(truthValue); //false since the first instance both of the value would be 0 0 }
public void GetString_Is_it_valid() { //Arrange var finalVarLeft = new FinalVar("a"); var finalVarRight = new FinalVar("b"); var andVar = new AndClass(finalVarLeft, finalVarRight); //Act var stringReturn = andVar.GetString(); //Assert Assert.AreEqual(stringReturn, "(a ^ b)"); }