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
- ftypetype
- typef1
- f1n
- npublic String getType()
public void setType(String type)
type
- typepublic Frame getFrame1()
public void setFrame1(Frame frame1)
frame1
- frame1public Frame getFrame2()
public void setFrame2(Frame frame2)
frame2
- frame2public Clause getClause1()
public void setClause1(Clause clause1)
clause1
- clause1public Clause getClause2()
public void setClause2(Clause clause2)
clause2
- clause2Copyright © 2020 The University of Manchester. All rights reserved.