public final class ClauseModel extends Object
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
.
Modifier and Type | Method and 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() |
String |
toString() |
public static ClauseModel createClauseModel(Term original)
public Term getAntecedent()
:-
public Term getConsequent()
:-
public Term getOriginal()
public PredicateKey getPredicateKey()
public ClauseModel copy()
public boolean isFact()
Copyright © 2024. All rights reserved.