Uses of Class
edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.LogicSchemaBuilder
Packages that use LogicSchemaBuilder
-
Uses of LogicSchemaBuilder in edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation
Methods in edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation that return LogicSchemaBuilderModifier and TypeMethodDescriptionLogicSchemaBuilder.addAllDerivationRules(List<DerivationRuleSpec> newRules) LogicSchemaBuilder.addAllLogicConstraints(List<T> newConstraints) LogicSchemaBuilder.addAllPredicates(List<PredicateSpec> allPredicates) LogicSchemaBuilder.addDerivationRule(DerivationRuleSpec... drs) LogicSchemaBuilder.addDerivationRule(Collection<DerivationRuleSpec> derivationRules) final LogicSchemaBuilder<T>LogicSchemaBuilder.addLogicConstraint(Collection<T> logicConstraintSpecs) final LogicSchemaBuilder<T>LogicSchemaBuilder.addLogicConstraint(T... logicConstraintSpecs) LogicSchemaBuilder.addPredicate(PredicateSpec... predicateSpecs) LogicSchemaBuilder.addPredicate(String predicateName, int arity) LogicSchemaBuilder.defaultLogicSchemaWithIDsBuilder()LogicSchemaBuilder.defaultLogicSchemaWithoutIDsBuilder()