Exemple #1
0
func TestEqualArgSets(t *testing.T) {
	args1 := dung.NewArgSet(a1, a2, a2)
	args2 := dung.NewArgSet(a2, a2, a1)
	expected := true
	actual := args1.Equals(args2)
	if expected != actual {
		t.Errorf("expected EqualArgSets(%s,%s)", args1, args2)
	}
}
Exemple #2
0
func TestEvenCycle1PreferredLabelling(t *testing.T) {
	inFile, err := os.Open("AFs/even_cycle1.tgf")
	if err != nil {
		log.Fatal(err)
	}
	af, err := tgf.Import(inFile)
	actual := af.PreferredExtensions()
	e1 := dung.NewArgSet(a1)
	e2 := dung.NewArgSet(a2)
	expected := []dung.ArgSet{e1, e2}
	//fmt.Printf("actual: %v\n", actual)
	//fmt.Printf("expected: %v\n", expected)
	if !dung.EqualArgSetSlices(actual, expected) {
		t.Errorf("expected %s, not %s.\n", expected, actual)
	}
}
Exemple #3
0
func TestAf2GroundedLabelling(t *testing.T) {
	inFile, err := os.Open("AFs/reinstatement1.tgf")
	if err != nil {
		log.Fatal(err)
	}
	af, err := tgf.Import(inFile)
	extension := af.GroundedExtension()
	expected := dung.NewArgSet(a3, a1)
	if !extension.Equals(expected) {
		t.Errorf("expected %s, not %s.\n", expected, extension)
	}
}