ClauseModel

java.lang.Object
- org.projog.core.predicate.udp.ClauseModel

```
public final class ClauseModel
extends java.lang.Object
```
Represents a clause.
A clause consists of a head and a body. Where a clause is not explicitly specified it defaults to having a body of true.
Called ClauseModel to differentiate it from ClauseAction.

Field Summary

Fields
Modifier and Type Field Description

private Term antecedent

private Term consequent

private Term original

private static Term TRUE

Constructor Summary

Constructors
Modifier Constructor Description

private ClauseModel(Term original, Term consequent, Term antecedent)

Method Summary

All Methods Static Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`ClauseModel`	`copy()`
`static ClauseModel`	`createClauseModel(Term original)`
`Term`	`getAntecedent()`	Returns the body of the clause.
`Term`	`getConsequent()`	Returns the head of the clause.
`Term`	`getOriginal()`
`PredicateKey`	`getPredicateKey()`
`boolean`	`isFact()`
`java.lang.String`	`toString()`

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

TRUE
```
private static final Term TRUE
```

original
```
private final Term original
```

consequent
```
private final Term consequent
```

antecedent
```
private final Term antecedent
```

Constructor Detail

ClauseModel

private ClauseModel(Term original,
                    Term consequent,
                    Term antecedent)

Method Detail

createClauseModel

public static ClauseModel createClauseModel(Term original)

getAntecedent
```
public Term getAntecedent()
```
Returns the body of the clause. i.e. the bit after the :-

getConsequent
```
public Term getConsequent()
```
Returns the head of the clause. i.e. the bit before the :-

getOriginal
```
public Term getOriginal()
```

getPredicateKey
```
public PredicateKey getPredicateKey()
```

copy
```
public ClauseModel copy()
```

isFact
```
public boolean isFact()
```

toString
```
public java.lang.String toString()
```
Overrides:

toString in class java.lang.Object