public class Diff extends Object
| Constructor and Description |
|---|
Diff(String ftype,
String type,
Frame f1,
Frame f2,
Clause c,
int n) |
Diff(String ftype,
String type,
Frame f1,
int n) |
| Modifier and Type | Method and Description |
|---|---|
Clause |
getClause1() |
Clause |
getClause2() |
Frame |
getFrame1() |
Frame |
getFrame2() |
String |
getType() |
void |
setClause1(Clause clause1) |
void |
setClause2(Clause clause2) |
void |
setFrame1(Frame frame1) |
void |
setFrame2(Frame frame2) |
void |
setType(String type) |
String |
toString() |
public Diff(String ftype, String type, Frame f1, int n)
ftype - frame typetype - typef1 - frame 1n - npublic String getType()
public void setType(String type)
type - typepublic void setFrame1(Frame frame1)
frame1 - frame1public void setFrame2(Frame frame2)
frame2 - frame2public void setClause1(Clause clause1)
clause1 - clause1public void setClause2(Clause clause2)
clause2 - clause2Copyright © 2020 The University of Manchester. All rights reserved.