| Class and Description |
|---|
| ArgumentTree
Instances of this class represent argument trees in the sense
of Definition 6.1 in
Philippe Besnard and Anthony Hunter. |
| DeductiveArgument
Instances of this class represent arguments in the sense
of Definition 3.1 in
Philippe Besnard and Anthony Hunter. |
| Class and Description |
|---|
| ArgumentTree
Instances of this class represent argument trees in the sense
of Definition 6.1 in
Philippe Besnard and Anthony Hunter. |
| Class and Description |
|---|
| ArgumentTree
Instances of this class represent argument trees in the sense
of Definition 6.1 in
Philippe Besnard and Anthony Hunter. |
| DeductiveArgument
Instances of this class represent arguments in the sense
of Definition 3.1 in
Philippe Besnard and Anthony Hunter. |
| DeductiveArgumentNode
Extends a deductive argument by a unique identifier.
|
| Class and Description |
|---|
| DeductiveArgument
Instances of this class represent arguments in the sense
of Definition 3.1 in
Philippe Besnard and Anthony Hunter. |
Copyright © 2018. All rights reserved.